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.
Fragments of First-Order Logic
Télécharger la couverture
Fragments of First-Order Logic

Fragments of First-Order Logic

Livre (relié)env. 220.00 CHF
livrable dans env. 10-20 jours

Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are decidable for some fragment, what is their computational complexity?

mars 2023, Oxford Logic Guides, Anglais
Oxford Academic
978-0-19-286796-4

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
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
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

Selected Works Of Roderick S. C. Wong, The - Volume 4
Ingram Publishers Services, 2026
978-981-1290-85-5
env. 249.00 CHF
paraît en janvier
From Complex Analysis To Metascience: A Stroll Around Boundary Behavior, ...
Ingram Publishers Services, 2026
978-981-1272-11-0
env. 135.00 CHF
paraît en janvier
On Mathematics, Unity, and the Good
Plato, Whitehead, Aristotle
Bloomsbury, 2026
978-1-6669-6331-1
env. 127.00 CHF
paraît en avril
Essential Mathematics For Microeconomics: A Student's Guide To Key Mathematical ...
Ingram Publishers Services, 2026
978-981-9814-83-1
env. 59.50 CHF
paraît en avril
Origami Engineering: Combining Science, Art, And Industry
Ingram Publishers Services, 2026
978-981-9814-50-3
env. 115.00 CHF
paraît en avril
The Irrational Decision
How We Gave Computers the Power to Choose for Us
University Presses, 2026
978-0-691-27244-3
env. 43.50 CHF
paraît en mars
Ibn al-Haytham
The Emergence of Scientific Modernity
Taylor and Francis, 2026
978-1-032-32349-7
env. 235.00 CHF
paraît en janvier
What Are the Odds?
A Statistical Guide to Certainty in an Uncertain World
University Presses, 2026
978-0-674-29636-7
env. 47.90 CHF
paraît en avril
Quantitative Biology
Elsevier, 2026
978-0-443-27452-7
env. 125.00 CHF
paraît en mai
Zeroing Dynamics, Gradient Dynamics, and Newton Iterations
Taylor and Francis, 2026
978-1-138-89408-2
env. 99.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