Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
cover

Fragments of First-Order Logic

Buch (gebunden)210.00 CHF
lieferbar in ca. 10-20 Arbeitstagen

Inhalt

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?

Bibliografische Angaben

März 2023, Oxford Logic Guides, Englisch
Oxford Academic
978-0-19-286796-4

Inhaltsverzeichnis

Schlagworte

Weitere Titel der Reihe: Oxford Logic Guides

Alle anzeigen
Positive Topology
A New Practice in Constructive Mathematics
Oxford Academic, 2025
978-0-19-923288-8
ca. 195.00 CHF
erhältlich ab Mai 2025
Consequence Relations
An Introduction to the Lindenbaum-Tarski Method
Oxford Academic, 2022
978-0-19-286641-7
146.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Category Theory
Oxford Academic, 2010
978-0-19-923718-0
99.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Computability and Randomness
Oxford Academic, 2009
978-0-19-923076-1
126.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Reductive Logic and Proof-search
Proof Theory, Semantics, and Control
Oxford University Press, 2004
978-0-19-852633-9
256.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Algebraic Methods in Philosophical Logic
Oxford Academic, 2001
978-0-19-853192-0
210.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Elements of Intuitionism
Oxford Academic, 2000
978-0-19-850524-2
296.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Fibring Logics
Oxford University Press, 1998
978-0-19-850381-1
150.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Elementary Categories, Elementary Toposes
Oxford Academic, 1995
978-0-19-851473-2
126.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Diagonalization and Self-Reference
Oxford Academic, 1994
978-0-19-853450-1
266.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Arithmetic, Proof Theory, and Computational Complexity
Oxford University Press, 1993
978-0-19-853690-1
236.00 CHF
lieferbar in ca. 10-20 Arbeitstagen

Weitere Titel zum Thema

Zeroing Dynamics, Gradient Dynamics, and Newton Iterations
Taylor and Francis, 2026
978-1-138-89408-2
ca. 99.00 CHF
erhältlich ab Januar 2026
Edexcel Level 2 Extended Maths Certificate Study and Practice
Harper Collins, 2025
978-0-00-873947-8
ca. 29.90 CHF
erhältlich ab März 2025
Introduction to Quantum Cryptography
Elsevier, 2025
978-0-443-21532-2
ca. 149.00 CHF
erhältlich ab Oktober 2025
Python for Mathematics
Taylor and Francis, 2025
978-1-032-58817-9
ca. 225.00 CHF
erhältlich ab Mai 2025
Deep Learning and Blockchain Technology for Smart and Sustainable Cities
Taylor and Francis, 2025
978-1-032-74857-3
ca. 269.00 CHF
erhältlich ab Mai 2025
Reason to Be Happy
Why logical thinking is the key to a better life
Random House UK, 2027
978-1-80499-592-1
ca. 18.50 CHF
erhältlich ab Mai 2027
The Language of Mathematics
The Stories behind the Symbols
University Presses, 2025
978-0-691-20188-7
ca. 38.50 CHF
erhältlich ab Januar 2025
Basics of Cryptocurrency
Taylor and Francis, 2025
978-0-367-03059-9
ca. 99.00 CHF
erhältlich ab August 2025
Geometric Morphometrics for Biologists
A Primer
Elsevier, 2025
978-0-443-28965-1
ca. 199.00 CHF
erhältlich ab Juli 2025