The Great Formal Machinery Works : Theories of Deduction and Computation at the Origins of the Digital Age
Jan von Plato
Out of stock
Format: Book (Hardback)
£119.99
£104.05
Item not Available
Book (Hardback)
The Great Formal Machinery Works : Theories of Deduction and Computation at the Origins of the Digital Age
Jan von Plato
Download - Immediately Available
Format: eBook (PDF)
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Walter Carnielli
Item not Available
Format: Book (Hardback)
£149.99
£129.45
Item not Available
Book (Hardback)
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Walter Carnielli
Download - Immediately Available
Format: eBook (PDF)
A Practical Logic of Cognitive Systems : The Reach of Abduction: Insight and Trial
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
Many-Dimensional Modal Logics: Theory and Applications
A. Kurucz
Download - Immediately Available
Format: eBook (PDF)
Proof Analysis : A Contribution to Hilbert's Last Problem
Sara Negri
Download - Immediately Available
Format: eBook (PDF)
Can Mathematics Be Proved Consistent? : Godel's Shorthand Notes & Lectures on Incompleteness
Jan von Plato
Out of stock
Format: Book (Hardback)
Can Mathematics Be Proved Consistent? : Godel's Shorthand Notes & Lectures on Incompleteness
Jan von Plato
Download - Immediately Available
Format: eBook (PDF)
Can Mathematics Be Proved Consistent? : Godel's Shorthand Notes & Lectures on Incompleteness
Jan von Plato
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£40.39
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketChapters from Godel’s Unfinished Book on Foundational Research in Mathematics
Jan von Plato
Out of stock
Format: Book (Hardback)
Chapters from Godel's Unfinished Book on Foundational Research in Mathematics
Jan von Plato
Download - Immediately Available
Format: eBook (PDF)
£109.99
£95.55
Item not Available
Book (Hardback)
A New Perspective on Nonmonotonic Logics
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
Saved from the Cellar : Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
Jan von Plato
Out of stock
Format: Book (Paperback / softback)
A New Perspective on Nonmonotonic Logics
Dov M. Gabbay
Out of stock
Format: Book (Paperback / softback)
Logical Tools for Handling Change in Agent-Based Systems
Dov M. Gabbay
Item not Available
Format: Book (Hardback)
£139.99
£120.55
Item not Available
Book (Hardback)
Logical Tools for Handling Change in Agent-Based Systems
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)