Foundations without Foundationalism : A Case for Second-Order Logic
Stewart (Professor of Philosophy, Professor of Philosophy, Oh Shapiro
Out of stock
Format: Book (Paperback / softback)
Intermediate Logic
David (Fellow and Tutor in Philosophy, Fellow and Tutor in Ph Bostock
Out of stock
Format: Book (Paperback / softback)
Reading, Writing, and Proving : A Closer Look at Mathematics
Ulrich Daepp
Out of stock
Format: Book (Hardback)
Recursion Theory : Lecture Notes in Logic 1
Joseph R. Shoenfield
Out of stock
Format: Book (Paperback / softback)
Philosophy and Model Theory
Tim (Senior Lecturer and Fellow, Senior Lecturer and Fellow, S Button
Out of stock
Format: Book (Paperback / softback)
The Mathematics of Logic : A Guide to Completeness Theorems and their Applications
Richard W. (University of Birmingham) Kaye
Out of stock
Format: Book (Paperback / softback)
Modal Logic for Philosophers
James W. (University of Houston) Garson
Out of stock
Format: Book (Paperback / softback)
Notes on Logic and Set Theory
P. T. (University of Cambridge) Johnstone
Out of stock
Format: Book (Paperback / softback)
Logic from A to Z : The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms
John B. Bacon
Out of stock
Format: Book (Paperback / softback)
Goedel's Way : Exploits into an undecidable world
Gregory Chaitin
Out of stock
Format: Book (Paperback / softback)
Naturalism in Mathematics
Penelope (Professor of Philosophy, Professor of Philosophy, Uni Maddy
Out of stock
Format: Book (Paperback / softback)
Set Theory : Boolean-Valued Models and Independence Proofs
John L. (Professor of Philosophy, University of Western Ontario) Bell
Out of stock
Format: Book (Paperback / softback)
Collins International Maths Foundation Plus Teacher's Guide
Peter Clarke
Out of stock
Format: Book (Paperback / softback)
Topology via Logic
Steven (Imperial College of Science, Technology and Medicine, Vickers
Out of stock
Format: Book (Paperback / softback)
Introduction To Mathematical Logic (Extended Edition)
Michal (Univ Of Bergen, Norway) Walicki
Out of stock
Format: Book (Paperback / softback)
Constructivism in Mathematics, Vol 2 : Volume 123
A.S. Troelstra
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£49.99
£45.75
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketFree Choice Petri Nets
Jorg (Humboldt-Universitat zu Berlin) Desel
Out of stock
Format: Book (Paperback / softback)
Numbers, Sets and Axioms : The Apparatus of Mathematics
A. G. Hamilton
Out of stock
Format: Book (Paperback / softback)
Varieties of Constructive Mathematics
Douglas (University of Buckingham) Bridges
Out of stock
Format: Book (Paperback / softback)
Categories and Computer Science
R. F. C. (University of Sydney) Walters
Out of stock
Format: Book (Paperback / softback)
Set Theory, Logic and their Limitations
Moshe (King's College London) Machover
Out of stock
Format: Book (Paperback / softback)