Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
cover
Reductive Logic and Proof-search

Reductive Logic and Proof-search

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

Inhalt

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.

Bibliografische Angaben

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

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
Fragments of First-Order Logic
Oxford Academic, 2023
978-0-19-286796-4
210.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
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
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

Graph Learning Techniques
Taylor and Francis, 2025
978-1-032-85113-6
ca. 149.00 CHF
erhältlich ab Februar 2025
Zero Touch Enterprise
A Practical Guide to Business Centric IT
Wiley, 2025
978-1-119-81009-4
ca. 135.00 CHF
erhältlich ab Juli 2025
Statistical Outliers and Related Topics
Taylor and Francis, 2025
978-1-032-46056-7
275.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Intelligent Infrastructure
User-centred Remote Condition Monitoring
Taylor and Francis, 2025
978-1-032-52116-9
75.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Artificial Intelligence in Cyber-Physical Systems
Principles and Applications
Taylor and Francis, 2025
978-1-032-16484-7
75.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Deep Learning and Blockchain Technology for Smart and Sustainable Cities
Taylor and Francis, 2025
978-1-032-74857-3
ca. 285.00 CHF
erhältlich ab Mai 2025
Blockchain and Digital Twin Applications in Smart Agriculture
Taylor and Francis, 2025
978-1-032-81746-0
ca. 315.00 CHF
erhältlich ab April 2025
Critical Views of Logic
Taylor and Francis, 2025
978-1-032-57354-0
65.00 CHF
lieferbar in ca. 10-20 Arbeitstagen