Matematické základy

Mathematics for the Imagination - Higgins, Peter (, Essex University)

Twenty Five Years of Constructive Type Theory - Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy) a Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Swede

Set Theory and Logic - Stoll, Robert R.

Modern Logic - Forbes, Graeme (Professor of Philosophy, Professor of Philosophy, Tulane University)

In the Light of Logic - Feferman, Solomon (Professor of Philosophy and Mathematics, Professor of Philosophy and Mathematics, Stanford University)

Topoi - Goldblatt, Robert

Cardinal Arithmetic - Shelah, Saharon (Professor, Department of Mathematics, Rutgers University a Institute of Mathematics, Professor, Department of Mathematics, Rutgers University a Institute of Mathematics, The Hebrew University of Jerusalem, Israel)

Recursion Theory for Metamathematics - Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy, Indiana University)

First Course in Logic - Hedman, Shawn (Department of Mathematics, Florida Southern College)

Set Theory and its Philosophy - Potter, Michael (, Department of Philosophy, University of Cambridge)

Categories for the Working Mathematician - Mac Lane, Saunders

Model Theory : An Introduction - Marker, David

Cellular Automata And Complexity - Wolfram, Stephen

Naive Set Theory - Halmos, P. R.

Deduction - Bonevac, Daniel (University of Texas, Austin)

Logical Dilemmas - Dawson, John

Introduction to Lattices and Order - Davey, B. A. (La Trobe University, Victoria) a Priestley, H. A. (University of Oxford)

Groups of Finite Morley Rank - Borovik, Alexandre (Lecturer in Mathematics, Lecturer in Mathematics, University of Manchester Institute of Science and Technology) a Nesin, Ali (Associate Professor of Mathematics, Associate Professor of Mathematics, University of California at Irvine)

Introduction to Random Sets - Nguyen, Hung T.

Nonnegative Matrices and Applications - Bapat, R. B. (Indian Statistical Institute, New Delhi) a Raghavan, T. E. S. (University of Illinois, Chicago)