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
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Dov M. (Professor of Computing, Professor of Computing, Imperi Gabbay
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
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
Dov M. (Professor of Computing, Professor of Computing, Imperi Gabbay
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£434.74
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures
S. (Reader in Computing Science, Reader in Computing Science Abramsky
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£434.74
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Handbook of Logic in Computer Science: Volume 3. Semantic Structures
S. (Professor, Department of Computing, Professor, Departmen 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
Temporal Logic: Volume 2
Dov M (Department of Computer Science, Department of Computer Gabbay
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
Temporal Logic: Volume 1
Dov M. Gabbay
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
Substructural Logics
Kosta (Professor of Mathematical Logic, Professor of Mathematic Dosen
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£147.50
£144.85
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
S. (Department of Computer Science, Department of Computer S Abramsky
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£477.21
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Cardinal Arithmetic
Saharon (Professor, Department of Mathematics, Rutgers Univers Shelah
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£252.19
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Many-Valued Logics
Grzegorz (Head of Department of Logic, Head of Department Malinowski
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£125.00
£122.82
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
Dov M. (Professor of Computing, Professor of Computing) Gabbay
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£434.74
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Features and Fluents : The Representation of Knowledge about Dynamical Systems, Volume 1
Erik (Professor, Department of Computer and Information Sci Sandewall
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£107.50
£107.10
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Nonstandard Queries and Nonstandard Answers
R. (Professor, Professor, Centre d'Etudes et de Recherches Demolombe
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
What is a Logical System?
D. M. (Professor of Computing Science, Department of Computing Gabbay
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
Conditionals: From Philosophy to Computer Science
G. Crocco
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£84.18
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Logic: From Foundations to Applications : European Logic Colloquium
Wilfrid (Professor, School of Mathematical Sciences, Queen Mar Hodges
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£50.62
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Automated Deduction in Multiple-Valued Logics
Reiner (, University of Karlsruhe, 7500 Karlsruhe, Germany) Hahnle
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£137.50
£135.41
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket