Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
Osteraktion: Bis zum 30.4.2025 von 20% Rabatt auf folgende Produkte profitieren. Code: NEST25
cover
Fragments of First-Order Logic

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 Juli 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
100.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Computability and Randomness
Oxford Academic, 2009
978-0-19-923076-1
220.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
300.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Elements of Intuitionism
Oxford Academic, 2000
978-0-19-850524-2
356.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Fibring Logics
Oxford Academic, 1998
978-0-19-850381-1
196.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Elementary Categories, Elementary Toposes
Oxford Academic, 1995
978-0-19-851473-2
220.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Diagonalization and Self-Reference
Oxford Academic, 1994
978-0-19-853450-1
386.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Arithmetic, Proof Theory, and Computational Complexity
Oxford Academic, 1993
978-0-19-853690-1
146.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Cantorian Set Theory and Limitation of Size
Oxford Academic, 1986
978-0-19-853283-5
296.00 CHF
lieferbar in ca. 10-20 Arbeitstagen

Weitere Titel zum Thema

Data-Centric AI Solutions and Emerging Technologies in the Healthcare Ecosystem
Taylor and Francis, 2025
978-1-032-41086-9
80.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Data Science and Interactive Visualization Tools for the Analysis of ...
Elsevier, 2025
978-0-443-21961-0
ca. 199.00 CHF
erhältlich ab Dezember 2025
The Story of Huge Numbers
Bloomsbury, 2026
978-1-3998-1883-4
ca. 29.90 CHF
erhältlich ab März 2026
A Mathematical Tour
Taylor and Francis, 2025
978-1-032-74789-7
180.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Cell Geometry
Taylor and Francis, 2026
978-1-138-62856-4
ca. 205.00 CHF
erhältlich ab Januar 2026
The Ecology and Evolution of Invasive Populations
Oxford Academic, 2025
978-0-19-289863-0
ca. 169.00 CHF
erhältlich ab März 2025
Multiaxial Notch Fracture and Fatigue
Taylor and Francis, 2025
978-1-032-41194-1
76.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
The Improved Residual Power Series Method for Boundary Value Problems
Taylor and Francis, 2025
978-1-032-95654-1
ca. 265.00 CHF
erhältlich ab Mai 2025
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
Handbook of MRI Pulse Sequences
Elsevier, 2025
978-0-323-91597-7
ca. 309.00 CHF
erhältlich ab November 2025