Logo
DE | FR
Reductive Logic and Proof-search
Download Cover
Reductive Logic and Proof-search

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control
Buch (gebunden)ca. 256.00 CHF
lieferbar in ca. 10-20 Arbeitstagen

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

April 2004, Oxford Logic Guides, Englisch
Oxford University Press
978-0-19-852633-9

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
Fragments of First-Order Logic
Oxford Academic, 2023
978-0-19-286796-4
ca. 220.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
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

Weitere Titel zum Thema

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
Philosophical Logic: A Phenomenological Approach
Ingram Publishers Services, 2026
978-981-9813-28-5
ca. 179.00 CHF
erscheint im Januar
Kant and Teleology
Cambridge Academic, 2025
978-1-009-66238-3
ca. 90.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Logic For Dummies
Wiley, 2026
978-1-394-36234-9
ca. 33.50 CHF
erscheint im Januar
The Irrational Decision
How We Gave Computers the Power to Choose for Us
University Presses, 2026
978-0-691-27244-3
ca. 43.50 CHF
erscheint im März
The Nature of Complex Networks
Oxford Academic, 2025
978-0-19-895963-2
ca. 66.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Wittgenstein on Knowledge and Certainty
Cambridge Academic, 2025
978-1-009-54809-0
ca. 90.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Formal Methods, Informally
How to Write Programs That Work
Cambridge Academic, 2026
978-1-009-42102-7
ca. 65.00 CHF
erscheint im Januar
Introduction To Python For Quantitative Finance, An: From Scratch To ...
Ingram Publishers Services, 2026
978-981-1215-72-8
ca. 149.00 CHF
erscheint im April
Memory Assemblages
Spectral Realism and the Logic of Addition
Bloomsbury, 2026
978-1-350-46123-9
ca. 49.90 CHF
erscheint im April
Mathematical Logic, Computability, Complexity, And Randomness: Proceedings Of ...
Ingram Publishers Services, 2026
978-981-9815-93-7
ca. 149.00 CHF
erscheint im Januar
Collins Bumper Book of Su Doku book 2
300 Su Doku Puzzles
Harper Collins, 2026
978-0-00-880357-5
ca. 15.50 CHF
erscheint im Februar