Logo
DE | FR
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Interpolation and Definability
Télécharger la couverture
Interpolation and Definability

Interpolation and Definability

Modal and Intuitionistic Logics
Livre (relié)env. 309.00 CHF
livrable dans env. 10-20 jours

This monograph is on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigious world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of Intuitionism (Second Edition), J.M. Dunn and G. Hardegree's Algebraic Methods in PhilosophicalLogic, H. Rott's Change Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P.T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof, Theory, Semantics and Control.

mai 2005, Oxford Logic Guides, Anglais
Oxford Academic
978-0-19-851174-8

Autres titres de la collection: Oxford Logic Guides

Afficher tout
Positive Topology
A New Practice in Constructive Mathematics
Oxford Academic, 2025
978-0-19-923288-8
env. 195.00 CHF
paraît en octobre
Fragments of First-Order Logic
Oxford Academic, 2023
978-0-19-286796-4
env. 220.00 CHF
livrable dans env. 10-20 jours
Consequence Relations
An Introduction to the Lindenbaum-Tarski Method
Oxford Academic, 2022
978-0-19-286641-7
env. 156.00 CHF
livrable dans env. 10-20 jours
Simplicity Theory
Oxford University Press, 2013
978-0-19-856738-7
env. 169.00 CHF
livrable dans env. 10-20 jours
Computability and Randomness
Oxford University Press, 2012
978-0-19-965260-0
env. 89.00 CHF
livrable dans env. 10-20 jours
Set Theory
Boolean-Valued Models and Independence Proofs
Oxford University Press, 2011
978-0-19-960916-1
env. 86.00 CHF
livrable dans env. 10-20 jours
Category Theory
Oxford University Press, 2010
978-0-19-958736-0
env. 219.00 CHF
livrable dans env. 10-20 jours
Category Theory
Oxford Academic, 2010
978-0-19-923718-0
env. 110.00 CHF
livrable dans env. 10-20 jours
Computability and Randomness
Oxford Academic, 2009
978-0-19-923076-1
env. 230.00 CHF
livrable dans env. 10-20 jours
The Structure of Models of Peano Arithmetic
Oxford Academic, 2006
978-0-19-856827-8
env. 239.00 CHF
livrable dans env. 10-20 jours
Reductive Logic and Proof-search
Proof Theory, Semantics, and Control
Oxford University Press, 2004
978-0-19-852633-9
env. 256.00 CHF
livrable dans env. 10-20 jours

Autres titres sur ce thème

Deep Learning in Computer Vision
Wiley, 2026
978-1-394-28823-6
env. 279.00 CHF
paraît en janvier
Innovative Approaches To Decision Making: Bridging It And Decision Science
Ingram Publishers Services, 2026
978-981-9810-15-4
env. 179.00 CHF
paraît en janvier
Medium Hot
Images in The Age of Heat
Pan macmillan Ltd., 2026
978-1-80429-803-9
env. 21.50 CHF
paraît en juin
Eeg Signal Classification Using Machine Learning
Ingram Publishers Services, 2026
978-981-9818-27-3
env. 115.00 CHF
paraît en avril