Conceptual Notation and Related Articles
Gottlob Frege
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£115.00
£114.17
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Rene (, Universite Paris VII) Cori
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£172.23
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Mathematical Logic: Part 2 : Recursion Theory, Godel's Theorems, Set Theory, Model Theory
Rene (, Universite Paris VII) Cori
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£167.20
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Kurt Godel: Collected Works: Volume IV : Selected Correspondence, A-G
Kurt Godel
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£259.69
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Kurt Godel: Collected Works: Volume V : Correspondence, H-Z
Kurt Godel
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£289.74
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Twenty Five Years of Constructive Type Theory
Giovanni (Professor of Mathematical Logic, Professor of Mathem Sambin
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£97.00
£96.45
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Change, Choice and Inference : A study of Belief Revision and Nonmonotonic Reasoning
Hans (, Professor of Philosophy, University of Regensburg, Germa Rott
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£194.73
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Fibring Logics
Dov M. (Professor of Computer Science, Professor of Computer S Gabbay
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£120.00
£118.90
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
A Graphic Apology for Symmetry and Implicitness
Alessandra (Department of Mathematics and Computer Science, D Carbone
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£82.29
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Interpolation and Definability : Modal and Intuitionistic Logics
Dov M. (, Department of Computer Science, King's College Londo Gabbay
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£189.74
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Truth in Mathematics
H. G. (Professor of Pure Mathematics, Professor of Pure Mathema Dales
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£337.20
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Sketches of an Elephant: A Topos Theory Compendium : Volume 2
Peter T. (, Reader in the Foundations of Mathematics, Unive Johnstone
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£297.24
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Reductive Logic and Proof-search : Proof Theory, Semantics, and Control
David J. (, Professor of Logic & Computation, University of Bath Pym
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£160.00
£156.64
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Shawn (Department of Mathematics, Florida Southern College) Hedman
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£202.23
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Proof and Disproof in Formal Logic
Richard (School of Computing Science, Middlesex University) Bornat
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£71.63
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
A Study of Logics
John P. (Reader in Mathematics (retired), Reader in Mathematic Cleave
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£197.24
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Models of Peano Arithmetic
Richard (Junior Research Fellow, Junior Research Fellow, Jesus C Kaye
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£160.00
£156.64
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Foundations without Foundationalism : A Case for Second-Order Logic
Stewart (Professor of Philosophy, Professor of Philosophy, Oh Shapiro
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£64.36
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Sketches of an Elephant: A Topos Theory Compendium : Volume 1
Peter T. (, Reader in the Foundations of Mathematics, Unive Johnstone
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
Geometric Stability Theory
Anand (, University of Illinois, USA) Pillay
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£132.50
£130.69
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Groups of Finite Morley Rank
Alexandre (Lecturer in Mathematics, Lecturer in Mathematics, Borovik
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
Automorphisms of First-order Structures
Richard (School of Mathematics and Statistics, School of Mathema Kaye
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£91.00
£90.79
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Arithmetic, Proof Theory, and Computational Complexity
Peter (Professor, Department of Computer Science, Professor, De Clote
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£88.00
£87.95
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures
S. (Professor of Computing Science, Professor of Computing S Abramsky
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£394.72
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket