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, Shapiro Stewart - Foundations Without Foundationalism
Stewart Shapiro, Stewart (Professor of Philosophy Shapiro, Shapiro Stewart Foundations Without Foundationalism English 19.09.1991 Hardback Fr. 115.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. 184.90 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)
Alexandre Borovik, Alexandre (Lecturer in Mathematics Borovik, Alexandre Nesin Borovik, Borovik Alexandre, Ali Nesin, Nesin Ali - Groups of Finite Morley Rank
Alexandre Borovik, Alexandre (Lecturer in Mathematics Borovik, Alexandre Nesin Borovik, Borovik Alexandre, Ali Nesin, Nesin Ali Groups of Finite Morley Rank English 01.12.1994 Hardback Fr. 270.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. 327.70 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)
Hans Rott, Hans (Professor of Philosophy Rott, Rott Hans - Change, Choice and Inference
Hans Rott, Hans (Professor of Philosophy Rott, Rott Hans Change, Choice and Inference English 11.10.2001 Hardback Fr. 300.00 3-5 weeks
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
Anand Pillay, Anand (University of Illinois) Pillay, Pillay Anand - Geometric Stability Theory
Anand Pillay, Anand (University of Illinois) Pillay, Pillay Anand Geometric Stability Theory English 01.09.1996 Hardback Fr. 216.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
M. Finger, Marcelo Finger, Dov M Gabbay, Dov M. Gabbay, Dov M. (King''s College London) Etc. Finge Gabbay, Dov M. (King's College London) Etc. Finger Gabbay... - Temporal Logic: Volume 2
M. Finger, Marcelo Finger, Dov M Gabbay, Dov M. Gabbay, Dov M. (King''s College London) Etc. Finge Gabbay, Dov M. (King's College London) Etc. Finger Gabbay... Temporal Logic: Volume 2 English 01.06.2000 Hardback Fr. 346.00 3-5 weeks
Alexander Chagrov, Alexander (Professor of Mathematics Chagrov, Alexander Zakharyaschev Chagrov, Zakharyaschev Chagrov, Chagrov Alexander, Michael Zakharyaschev... - Modal Logic
Alexander Chagrov, Alexander (Professor of Mathematics Chagrov, Alexander Zakharyaschev Chagrov, Zakharyaschev Chagrov, Chagrov Alexander, Michael Zakharyaschev... Modal Logic English 01.02.1997 Hardback Fr. 396.00 3-5 weeks
Saharon Shelah, Saharon (Professor Shelah, Shelah Saharon - Cardinal Arithmetic
Saharon Shelah, Saharon (Professor Shelah, Shelah Saharon Cardinal Arithmetic English 17.11.1994 Hardback Fr. 386.00 3-5 weeks
Grzegorz Malinowski, Grzegorz (Head of Department of Logic Malinowski, Malinowski Grzegorz - Many-Valued Logics
Grzegorz Malinowski, Grzegorz (Head of Department of Logic Malinowski, Malinowski Grzegorz Many-Valued Logics English 16.12.1993 Hardback Fr. 206.00 3-5 weeks