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.
Reductive Logic and Proof-search
Télécharger la couverture
Reductive Logic and Proof-search

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control
Livre (relié)env. 256.00 CHF
livrable dans env. 10-20 jours

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

avril 2004, Oxford Logic Guides, Anglais
Oxford University Press
978-0-19-852633-9

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
Interpolation and Definability
Modal and Intuitionistic Logics
Oxford Academic, 2005
978-0-19-851174-8
env. 309.00 CHF
livrable dans env. 10-20 jours

Autres titres sur ce thème

Science, Pseudoscience, and the Demarcation Problem
Cambridge Academic, 2025
978-1-009-54814-4
env. 90.00 CHF
livrable dans env. 10-20 jours
The Epistemologies of Progress
Cambridge Academic, 2025
978-1-009-61418-4
env. 30.90 CHF
livrable dans env. 10-20 jours
Kant and Teleology
Cambridge Academic, 2025
978-1-009-66238-3
env. 90.00 CHF
livrable dans env. 10-20 jours
Formal Methods, Informally
How to Write Programs That Work
Cambridge Academic, 2026
978-1-009-42102-7
env. 65.00 CHF
paraît en janvier
Collins Bumper Book of Codewords Book 1
300 Crossword and Number Puzzles
Harper Collins, 2026
978-0-00-880360-5
env. 15.50 CHF
paraît en mai
In All Likelihood
Statistical Modelling and Inference Using Likelihood
Oxford Academic, 2026
978-0-19-895092-9
env. 225.00 CHF
paraît en mars
Cryptocurrency Forensics and Investigation using Open Source Intelligence ...
Volume II
Taylor and Francis, 2026
978-1-041-14247-8
env. 75.00 CHF
paraît en février
Logic For Dummies
Wiley, 2026
978-1-394-36234-9
env. 33.50 CHF
paraît en janvier
The Dream of Enlightenment
The Rise of Modern Philosophy
Penguin Books, 2026
978-1-83731-047-0
env. 22.90 CHF
paraît en avril
In Defence of Reason
Taylor and Francis, 2025
978-1-041-07408-3
env. 150.00 CHF
livrable dans env. 10-20 jours
Ludwig Wittgenstein
Philosophy in the Age of Airplanes
University Presses, 2026
978-0-300-18047-3
env. 29.90 CHF
paraît en janvier