Proof Complexity
Jan (Charles University, Prague) Krajicek
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£117.00
£94.62
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
A Mathematical Introduction to Logic
Herbert B. (University of California, Los Angeles, U.S.A.) Enderton
Unavailable
Format: Book (Hardback)
£84.99
£67.39
Unavailable
Book (Hardback)
Calculus for Engineering Students : Fundamentals, Real Problems, and Computers
Jesus Martin (University of Salamanca, Spain) Vaquero
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£76.95
£61.81
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Logic and Reality : Essays on the Legacy of Arthur Prior
B. J. (Senior Lecturer, Department of Philosophy and Religio Copeland
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£177.21
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Polish Logic 1920-1939
Storrs McCall
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£125.00
£123.61
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
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
Proof and Disproof in Formal Logic : An Introduction for programmers
Richard (School of Computing Science, Middlesex University) Bornat
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£62.00
£58.97
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
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
Cantorian Set Theory and Limitation of Size
Michael Hallett
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£192.21
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket