Logo
DE | FR
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

Rainbow And Properly Colored Subgraphs
Ingram Publishers Services, 2026
978-981-9818-81-5
env. 179.00 CHF
paraît en mars
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
Navigating Across Mathematical Cultures And Times: Exploring The Diversity Of ...
Ingram Publishers Services, 2026
978-981-46893-6-6
env. 169.00 CHF
paraît en mai
Huge Numbers
2026
978-1-3998-1882-7
env. 43.50 CHF
paraît en avril
Elements Of Deep Learning Theory
Ingram Publishers Services, 2026
978-981-1271-26-7
env. 135.00 CHF
paraît en avril
Logic For Dummies
Wiley, 2026
978-1-394-36234-9
env. 33.50 CHF
paraît en janvier
Origami Engineering: Combining Science, Art, And Industry
Ingram Publishers Services, 2026
978-981-9814-50-3
env. 115.00 CHF
paraît en avril
Mathematical Logic, Computability, Complexity, And Randomness: Proceedings Of ...
Ingram Publishers Services, 2026
978-981-9815-93-7
env. 149.00 CHF
paraît en janvier
Quantum Communication and Cryptography
Elsevier, 2026
978-0-443-21532-2
env. 149.00 CHF
paraît en février
Integral Methods In Nonlinear Dynamics Of Systems
Ingram Publishers Services, 2026
978-981-9817-99-3
env. 179.00 CHF
paraît en janvier
Why Not Nonlinear Algebra: Math, Science, Applications And Funding
Ingram Publishers Services, 2026
978-981-9814-62-6
env. 75.00 CHF
paraît en février