Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
Luca Tranchini
Out of stock
Format: Book (Hardback)
Fuzzy Logic : Mathematical Tools for Approximate Reasoning
G. Gerla
Item not Available
Format: Book (Hardback)
£109.99
£95.15
Item not Available
Book (Hardback)
Logic for Concurrency and Synchronisation
R.J. De Queiroz
Download - Immediately Available
Format: eBook (PDF)
Probabilistic Logic in a Coherent Setting
Giulianella Coletti
Item not Available
Format: Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)
Probabilistic Logic in a Coherent Setting
Giulianella Coletti
Item not Available
Format: Book (Paperback / softback)
£74.99
£61.89
Item not Available
Book (Paperback / softback)
Classical and New Paradigms of Computation and their Complexity Hierarchies : Papers of the conference "Foundations of the Formal Sciences III"
Benedikt Lowe
Download - Immediately Available
Format: eBook (PDF)
Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
David Makinson
Download - Immediately Available
Format: eBook (PDF)
Adaptive Logics for Defeasible Reasoning : Applications in Argumentation, Normative Reasoning and Default Reasoning
Christian Strasser
Item not Available
Format: Book (Hardback)
£119.99
£104.05
Item not Available
Book (Hardback)
Adaptive Logics for Defeasible Reasoning : Applications in Argumentation, Normative Reasoning and Default Reasoning
Christian Straer
Download - Immediately Available
Format: eBook (PDF)
Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations
Maria Luisa Dalla Chiara
Out of stock
Format: Book (Hardback)
Heyting Algebras : Duality Theory
Leo Esakia
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£69.99
£61.85
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketHeyting Algebras : Duality Theory
Leo Esakia
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 BasketWell-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Peter M. Schuster
Out of stock
Format: Book (Paperback / softback)
Logics and Falsifications : A New Perspective on Constructivist Semantics
Andreas Kapsner
Out of stock
Format: Book (Hardback)
Logics and Falsifications : A New Perspective on Constructivist Semantics
Andreas Kapsner
Download - Immediately Available
Format: eBook (PDF)
Adaptive Logics for Defeasible Reasoning : Applications in Argumentation, Normative Reasoning and Default Reasoning
Christian Strasser
Out of stock
Format: Book (Paperback / softback)
Logics and Falsifications : A New Perspective on Constructivist Semantics
Andreas Kapsner
Out of stock
Format: Book (Paperback / softback)
Advances in Proof-Theoretic Semantics
Thomas Piecha
Out of stock
Format: Book (Paperback / softback)
Descriptor Revision : Belief Change through Direct Choice
Sven Ove Hansson
Item not Available
Format: Book (Hardback)
£89.99
£73.75
Item not Available
Book (Hardback)
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry
Thomas Macaulay Ferguson
Item not Available
Format: Book (Hardback)
£79.99
£65.85
Item not Available
Book (Hardback)
Descriptor Revision : Belief Change through Direct Choice
Sven Ove Hansson
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.85
Item not Available
Book (Paperback / softback)