Languages
Subject
Format
Availabity
Authors

Search result

Peter T. Johnstone, Peter T. ( Johnstone, Peter T. (Reader in the Foundations of Johnstone, Peter T. (Reader in the Foundations of Mathematics Johnstone, Johnstone Peter T. - Sketches of an Elephant: A Topos Theory Compendium
Peter T. Johnstone, Peter T. ( Johnstone, Peter T. (Reader in the Foundations of Johnstone, Peter T. (Reader in the Foundations of Mathematics Johnstone, Johnstone Peter T. Sketches of an Elephant: A Topos Theory Compendium English 12.09.2002 Hardback Fr. 455.00 1-3 weeks (not available at short notice)
Michael Dummett, Sir Michael Dummett, Dummett Michael - Elements of Intuitionism
Michael Dummett, Sir Michael Dummett, Dummett Michael Elements of Intuitionism English 01.02.2000 Hardback Fr. 356.00 3-5 weeks
Stewart Shapiro, Stewart (Professor of Philosophy Shapiro - Foundations Without Foundationalism
Stewart Shapiro, Stewart (Professor of Philosophy Shapiro Foundations Without Foundationalism English 19.09.1991 Hardback Fr. 219.00 1-3 weeks (not available at short notice)
Raymond M. Smullyan, Raymond M. (Professor of Philosophy Smullyan - Recursion Theory for Metamathematics
Raymond M. Smullyan, Raymond M. (Professor of Philosophy Smullyan Recursion Theory for Metamathematics English 15.07.1993 Hardback Fr. 275.00 1-3 weeks (not available at short notice)
Giovanni Sambin, Giovanni (Professor of Mathematical Logic Sambin, Giovanni Smith Sambin, Jan Smith, Jan M Smith, Jan M. Smith - Twenty Five Years of Constructive Type Theory
Giovanni Sambin, Giovanni (Professor of Mathematical Logic Sambin, Giovanni Smith Sambin, Jan Smith, Jan M Smith, Jan M. Smith Twenty Five Years of Constructive Type Theory English 15.10.1998 Hardback Fr. 183.60 1-3 weeks (not available at short notice)
J. Michael Dunn, J. Michael (Ewing Professor of Philosophy Dunn, J. Michael Hardegree Dunn, Michael J. Dunn, Gary Hardegree, Gary M. Hardegree... - Algebraic Methods in Philosophical Logic
J. Michael Dunn, J. Michael (Ewing Professor of Philosophy Dunn, J. Michael Hardegree Dunn, Michael J. Dunn, Gary Hardegree, Gary M. Hardegree... Algebraic Methods in Philosophical Logic English 01.07.2001 Hardback Fr. 300.00 1-3 weeks (not available at short notice)
David J. Pym, David J. ( Pym, David J. (Professor of Logic & Computation Pym, David J. Ritter Pym, Pym David J., Eike Ritter... - Reductive Logic and Proof-Search
David J. Pym, David J. ( Pym, David J. (Professor of Logic & Computation Pym, David J. Ritter Pym, Pym David J., Eike Ritter... Reductive Logic and Proof-Search English 29.04.2004 Hardback Fr. 256.00 1-3 weeks (not available at short notice)
Dov M Gabbay, Dov M. Gabbay, Dov M. ( Gabbay, Dov M. (King''s College London) Maksimova Gabbay, Dov M. Maksimova Gabbay, Larisa Maksimova - Interpolation and Definability
Dov M Gabbay, Dov M. Gabbay, Dov M. ( Gabbay, Dov M. (King''s College London) Maksimova Gabbay, Dov M. Maksimova Gabbay, Larisa Maksimova Interpolation and Definability English 12.05.2005 Hardback Fr. 322.80 1-3 weeks (not available at short notice)
John L. Bell, John L. (Professor of Philosophy Bell - Set Theory
John L. Bell, John L. (Professor of Philosophy Bell Set Theory English 12.05.2005 Hardback Fr. 258.00 1-3 weeks (not available at short notice)
Alexandre Borovik, Alexandre (Lecturer in Mathematics Borovik, Alexandre Nesin Borovik, Ali Nesin - Groups of Finite Morley Rank
Alexandre Borovik, Alexandre (Lecturer in Mathematics Borovik, Alexandre Nesin Borovik, Ali Nesin Groups of Finite Morley Rank English 01.12.1994 Hardback Fr. 302.40 1-3 weeks (not available at short notice)
Dov M. Gabbay, Dov M. (King''s College London) Gabbay, Dov M. (Professor of Computer Science Gabbay - Fibring Logics
Dov M. Gabbay, Dov M. (King''s College London) Gabbay, Dov M. (Professor of Computer Science Gabbay Fibring Logics English 01.10.1998 Hardback Fr. 196.00 3-5 weeks
Michael Hallett - Cantorian Set Theory and Limitation of Size
Michael Hallett Cantorian Set Theory and Limitation of Size English 27.11.1986 Paperback / Softback Fr. 296.00 3-5 weeks
Raymond Smullyan, Raymond M. Smullyan - Diagonalization and Self-Reference
Raymond Smullyan, Raymond M. Smullyan Diagonalization and Self-Reference English 01.09.1994 Hardback Fr. 386.00 3-5 weeks
Clote, Peter Krajicek Clote, Krajicek, Peter Clote, Peter (Professor Clote, Clote Peter... - Arithmetic, Proof Theory, and Computational Complexity
Clote, Peter Krajicek Clote, Krajicek, Peter Clote, Peter (Professor Clote, Clote Peter... Arithmetic, Proof Theory, and Computational Complexity English 06.05.1993 Hardback Fr. 146.00 3-5 weeks
Colin McLarty, McLarty Colin - Elementary categories and toposes
Colin McLarty, McLarty Colin Elementary categories and toposes English 15.05.1995 Paperback / Softback Fr. 220.00 3-5 weeks
Andre Nies, André Nies - Computability and Randomness
Andre Nies, André Nies Computability and Randomness English 15.01.2009 Hardback Fr. 220.00 3-5 weeks
Stewart Shapiro - Foundations without Foundationalism
Stewart Shapiro Foundations without Foundationalism English 23.03.2000 Paperback / Softback Fr. 104.40 2-3 weeks (title will be printed to order)
J L Bell, J. L. Bell, John L. Bell, John L. (Professor of Philosophy Bell - Set Theory
J L Bell, J. L. Bell, John L. Bell, John L. (Professor of Philosophy Bell Set Theory English 28.04.2011 Paperback / Softback Fr. 99.60 2-3 weeks (title will be printed to order)
Andrae Nies, Andre Nies, André Nies, Andre (Senior Lecturer Nies - Computability and Randomness
Andrae Nies, Andre Nies, André Nies, Andre (Senior Lecturer Nies Computability and Randomness English 01.04.2012 Paperback / Softback Fr. 115.20 3-5 weeks (title will be specially ordered)
Raymond M. Smullyan - Goedel''s Incompleteness Theorems
Raymond M. Smullyan Goedel''s Incompleteness Theorems English Hardback Fr. 435.00 New edition in preparation, currently unavailable