Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
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
Fragments of First-Order Logic

Fragments of First-Order Logic

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

Contenu

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?

Informations bibliographiques

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

Sommaire

Mots-clés

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
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 Academic, 2010
978-0-19-923718-0
env. 100.00 CHF
livrable dans env. 10-20 jours
Computability and Randomness
Oxford Academic, 2009
978-0-19-923076-1
env. 220.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
Change, Choice and Inference
A study of Belief Revision and Nonmonotonic Reasoning
Oxford Academic, 2001
978-0-19-850306-4
env. 300.00 CHF
livrable dans env. 10-20 jours
Algebraic Methods in Philosophical Logic
Oxford Academic, 2001
978-0-19-853192-0
env. 300.00 CHF
livrable dans env. 10-20 jours
Elements of Intuitionism
Oxford Academic, 2000
978-0-19-850524-2
env. 356.00 CHF
livrable dans env. 10-20 jours
Temporal Logic: Volume 2
Oxford Academic, 2000
978-0-19-853768-7
env. 346.00 CHF
livrable dans env. 10-20 jours
Fibring Logics
Oxford University Press, 1998
978-0-19-850381-1
env. 196.00 CHF
livrable dans env. 10-20 jours
Modal Logic
Oxford Academic, 1997
978-0-19-853779-3
env. 396.00 CHF
livrable dans env. 10-20 jours

Autres titres sur ce thème

Huge Numbers
2026
978-1-3998-1882-7
env. 43.50 CHF
paraît en avril
Philosophical Logic: A Phenomenological Approach
Ingram Publishers Services, 2026
978-981-9813-28-5
env. 179.00 CHF
paraît en janvier
Cryptocurrency Forensics and Investigation using Open Source Intelligence ...
Volume II
Taylor and Francis, 2026
978-1-041-14246-1
env. 179.00 CHF
paraît en février
Essential Mathematics For Microeconomics: A Student's Guide To Key Mathematical ...
Ingram Publishers Services, 2026
978-981-9814-10-7
env. 115.00 CHF
paraît en février
Why Not Nonlinear Algebra: Math, Science, Applications And Funding
Ingram Publishers Services, 2026
978-981-9815-73-9
env. 43.50 CHF
paraît en février
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
Anisotropic Scaling Of Random Fields With Long-range Dependence: Scaling Limits ...
Ingram Publishers Services, 2026
978-981-1249-41-9
env. 149.00 CHF
paraît en janvier
Extended Hypergeometric Functions and Orthogonal Polynomials
Elsevier, 2026
978-0-443-36484-6
env. 259.00 CHF
paraît en février
Blueprints
How Mathematics Shapes Creativity
Harper Collins, 2026
978-0-00-868503-4
env. 19.90 CHF
paraît en mai
Building Things
A Memoir
Profile Books, 2026
978-1-80522-799-1
env. 33.50 CHF
paraît en mai