Logo
DE | FR
Newsletteraktion: Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025 10% Rabatt auf Ihre Onlinebestellungen. Infos und Anmeldung.
Fragments of First-Order Logic
Download Cover
Fragments of First-Order Logic

Fragments of First-Order Logic

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

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?

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

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
erscheint im Oktober
Consequence Relations
An Introduction to the Lindenbaum-Tarski Method
Oxford Academic, 2022
978-0-19-286641-7
ca. 156.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Simplicity Theory
Oxford University Press, 2013
978-0-19-856738-7
ca. 169.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Computability and Randomness
Oxford University Press, 2012
978-0-19-965260-0
ca. 89.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Set Theory
Boolean-Valued Models and Independence Proofs
Oxford University Press, 2011
978-0-19-960916-1
ca. 86.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Category Theory
Oxford University Press, 2010
978-0-19-958736-0
ca. 219.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Category Theory
Oxford Academic, 2010
978-0-19-923718-0
ca. 110.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Computability and Randomness
Oxford Academic, 2009
978-0-19-923076-1
ca. 230.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
The Structure of Models of Peano Arithmetic
Oxford Academic, 2006
978-0-19-856827-8
ca. 239.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Interpolation and Definability
Modal and Intuitionistic Logics
Oxford Academic, 2005
978-0-19-851174-8
ca. 309.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
ca. 256.00 CHF
lieferbar in ca. 10-20 Arbeitstagen

Weitere Titel zum Thema

Quantum Communication and Cryptography
Elsevier, 2026
978-0-443-21532-2
ca. 149.00 CHF
erscheint im Februar
Collins Bumper Book of Codewords Book 1
300 Crossword and Number Puzzles
Harper Collins, 2026
978-0-00-880360-5
ca. 15.50 CHF
erscheint im Mai
Handbook of MRI Pulse Sequences
Elsevier, 2026
978-0-323-91597-7
ca. 309.00 CHF
erscheint im März
Logic For Dummies
Wiley, 2026
978-1-394-36234-9
ca. 33.50 CHF
erscheint im Januar
Selected Works Of Roderick S. C. Wong, The - Volume 4
Ingram Publishers Services, 2026
978-981-1290-85-5
ca. 249.00 CHF
erscheint im Januar
Data Science and Interactive Visualization Tools for the Analysis of ...
Elsevier, 2026
978-0-443-21961-0
ca. 199.00 CHF
erscheint im Februar
Huge Numbers
Bloomsbury, 2026
978-1-3998-1883-4
ca. 29.90 CHF
erscheint im April
Quantitative Biology
Elsevier, 2026
978-0-443-27452-7
ca. 125.00 CHF
erscheint im Mai
Collins Bumper Book of Kriss Kross book 1
300 Themed Word Grid Puzzles
Harper Collins, 2026
978-0-00-880359-9
ca. 15.50 CHF
erscheint im Februar
Geometry and Topology of Soft Materials
Taylor and Francis, 2026
978-1-138-62767-3
ca. 166.00 CHF
lieferbar in ca. 10-20 Arbeitstagen