Foundations without Foundationalism : A Case for Second-Order Logic
Stewart Shapiro
Download - Immediately Available
Format: eBook (PDF)
Category Theory
Steve (Carnegie Mellon University, USA) Awodey
Out of stock
Format: Book (Paperback / softback)
Godel's Incompleteness Theorems
Raymond M. (Professor, City College, Professor, City College Smullyan
Out of stock
Format: Book (Hardback)
Elements of Intuitionism
Michael (Emeritus Professor of Philosophy, Emeritus Professor Dummett
Out of stock
Format: Book (Hardback)
Elementary Categories, Elementary Toposes
Colin (Professor, Department of Philosophy, Professor, Depart McLarty
Out of stock
Format: Book (Paperback / softback)
Sketches of an Elephant: A Topos Theory Compendium : 2 Volume Set
Peter T. (, Reader in the Foundations of Mathematics, Unive Johnstone
Out of stock
Format: Book (Multiple-component retail product)
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)
Set Theory with a Universal Set : Exploring an Untyped Universe
T. E. (Department of Pure Mathematics and Mathematical Statis Forster
Out of stock
Format: Book (Hardback)
Algebraic Methods in Philosophical Logic
J. Michael (Ewing Professor of Philosophy, Professor of Computer Dunn
Out of stock
Format: Book (Hardback)
Diagonalization and Self-Reference
Raymond M. (Professor of Philosophy, Professor of Philosophy Smullyan
Out of stock
Format: Book (Hardback)
Modal Logic
Alexander (Professor of Mathematics, Professor of Mathematics Chagrov
Out of stock
Format: Book (Hardback)
Labelled Deductive Systems : Volume 1
Dov M. (Professor, Department of Computing, Professor, Departm Gabbay
Out of stock
Format: Book (Hardback)
Model Theory
Maria (Profesora Titular de Logica, Profesora Titular de Logi Manzano
Out of stock
Format: Book (Hardback)
Recursion Theory for Metamathematics
Raymond M. (Professor of Philosophy, Professor of Philosophy Smullyan
Out of stock
Format: Book (Hardback)
Introduction to Logic and to the Methodology of the Deductive Sciences
Alfred Tarski
Download - Immediately Available
Format: eBook (PDF)
Twenty Five Years of Constructive Type Theory
Giovanni (Professor of Mathematical Logic, Professor of Mathem Sambin
Out of stock
Format: Book (Hardback)
Fibring Logics
Dov M. (Professor of Computer Science, Professor of Computer S Gabbay
Out of stock
Format: Book (Hardback)
Interpolation and Definability : Modal and Intuitionistic Logics
Dov M. (, Department of Computer Science, King's College Londo Gabbay
Out of stock
Format: Book (Hardback)
Sketches of an Elephant: A Topos Theory Compendium : Volume 2
Peter T. (, Reader in the Foundations of Mathematics, Unive Johnstone
Out of stock
Format: Book (Hardback)
Reductive Logic and Proof-search : Proof Theory, Semantics, and Control
David J. (, Professor of Logic & Computation, University of Bath Pym
Out of stock
Format: Book (Hardback)
A Study of Logics
John P. (Reader in Mathematics (retired), Reader in Mathematic Cleave
Out of stock
Format: Book (Hardback)
Models of Peano Arithmetic
Richard (Junior Research Fellow, Junior Research Fellow, Jesus C Kaye
Out of stock
Format: Book (Hardback)
Cantorian Set Theory and Limitation of Size
Michael Hallett
Out of stock
Format: Book (Paperback / softback)