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

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control
Livre (relié)256.00 CHF
livrable dans env. 10-20 jours

Contenu

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.

Informations bibliographiques

avril 2004, Oxford Logic Guides, Anglais
Oxford University Press
978-0-19-852633-9

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
Fragments of First-Order Logic
Oxford Academic, 2023
978-0-19-286796-4
210.00 CHF
livrable dans env. 10-20 jours
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
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

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
Individuals
An Essay in Descriptive Metaphysics
Taylor and Francis, 2025
978-1-032-91483-1
env. 29.90 CHF
disponible dès mars 2025
Artificial Intelligence
Humans at the Heart of Algorithms
Taylor and Francis, 2025
978-0-367-51598-0
env. 75.00 CHF
disponible dès mars 2025
Mysticism and Logic
Taylor and Francis, 2025
978-1-032-91491-6
env. 219.00 CHF
disponible dès mars 2025
Supervised Learning
Mathematical Foundations and Real-world Applications
Taylor and Francis, 2025
978-1-032-28330-2
env. 189.00 CHF
disponible dès avril 2025
Basics of Cryptocurrency
Taylor and Francis, 2025
978-0-367-03059-9
env. 99.00 CHF
disponible dès août 2025
Efficient Algorithms for Elliptic Curve Cryptosystems using Endomorphisms
Springer Nature EN, 2025
978-4-431-55347-2
env. 168.00 CHF
disponible dès avril 2025
Reason to Be Happy
Why logical thinking is the key to a better life
Random House UK, 2027
978-1-80499-592-1
env. 18.50 CHF
disponible dès mai 2027
Python for Mathematics
Taylor and Francis, 2025
978-1-032-58218-4
env. 75.00 CHF
disponible dès mai 2025
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
An Inquiry Into Meaning and Truth
Taylor and Francis, 2025
978-1-032-91488-6
env. 219.00 CHF
disponible dès mars 2025