Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover

Fragments of First-Order Logic

Livre (relié)210.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
disponible dès mai 2025
Consequence Relations
An Introduction to the Lindenbaum-Tarski Method
Oxford Academic, 2022
978-0-19-286641-7
146.00 CHF
livrable dans env. 10-20 jours
Category Theory
Oxford Academic, 2010
978-0-19-923718-0
99.00 CHF
livrable dans env. 10-20 jours
Computability and Randomness
Oxford Academic, 2009
978-0-19-923076-1
126.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
256.00 CHF
livrable dans env. 10-20 jours
Algebraic Methods in Philosophical Logic
Oxford Academic, 2001
978-0-19-853192-0
210.00 CHF
livrable dans env. 10-20 jours
Elements of Intuitionism
Oxford Academic, 2000
978-0-19-850524-2
296.00 CHF
livrable dans env. 10-20 jours
Fibring Logics
Oxford University Press, 1998
978-0-19-850381-1
150.00 CHF
livrable dans env. 10-20 jours
Elementary Categories, Elementary Toposes
Oxford Academic, 1995
978-0-19-851473-2
126.00 CHF
livrable dans env. 10-20 jours
Diagonalization and Self-Reference
Oxford Academic, 1994
978-0-19-853450-1
266.00 CHF
livrable dans env. 10-20 jours
Arithmetic, Proof Theory, and Computational Complexity
Oxford University Press, 1993
978-0-19-853690-1
236.00 CHF
livrable dans env. 10-20 jours

Autres titres sur ce thème

Integral Manifolds for Impulsive Differential Problems with Applications
Elsevier, 2025
978-0-443-30134-6
env. 207.00 CHF
disponible dès mai 2025
Agent-Based Models with MATLAB
Elsevier, 2025
978-0-443-24004-1
env. 235.00 CHF
disponible dès janvier 2025
A Mathematical Tour
Taylor and Francis, 2025
978-1-032-74789-7
env. 165.00 CHF
disponible dès mai 2025
Python for Mathematics
Taylor and Francis, 2025
978-1-032-58817-9
env. 225.00 CHF
disponible dès mai 2025
The Secret World of Flexagons
Fascinating Folded Paper Puzzles
Taylor and Francis, 2025
978-1-032-56047-2
env. 249.00 CHF
disponible dès mars 2025
Anaximander
And the Nature of Science
Random House UK, 2025
978-1-80206-304-2
env. 19.90 CHF
disponible dès février 2025
Mathematical Modeling in Bioscience
Theory and Applications
Elsevier, 2025
978-0-443-15445-4
env. 235.00 CHF
disponible dès avril 2025
Completely Regular Codes in Distance Regular Graphs
Taylor and Francis, 2025
978-1-032-49444-9
env. 249.00 CHF
disponible dès mars 2025
David Hilbert's Notebooks and General Foundational Lectures
Springer Nature EN, 2026
978-3-540-20579-1
env. 123.00 CHF
disponible dès novembre 2026
The Language of Mathematics
The Stories behind the Symbols
University Presses, 2025
978-0-691-20188-7
env. 38.50 CHF
disponible dès janvier 2025
Counting
Humans, History and the Infinite Lives of Numbers
Harper Collins, 2025
978-0-00-843650-6
env. 22.90 CHF
disponible dès juillet 2025
Unequal
The Maths of When Things Do and Don’t Add Up
Profile Books, 2025
978-1-80522-306-1
env. 33.50 CHF
disponible dès juin 2025