Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
cover

Consequence Relations

An Introduction to the Lindenbaum-Tarski Method
Buch (gebunden)146.00 CHF
lieferbar in ca. 10-20 Arbeitstagen

Inhalt

An in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, intended for advanced undergraduate and graduate students in mathematics and philosophy, as well as researchers in the field of mathematical and philosophical logic.

Bibliografische Angaben

Juli 2022, Oxford Logic Guides, Englisch
Oxford Academic
978-0-19-286641-7

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
Category Theory
Oxford Academic, 2010
978-0-19-923718-0
99.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Computability and Randomness
Oxford Academic, 2009
978-0-19-923076-1
126.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
210.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Elements of Intuitionism
Oxford Academic, 2000
978-0-19-850524-2
296.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Fibring Logics
Oxford University Press, 1998
978-0-19-850381-1
150.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Elementary Categories, Elementary Toposes
Oxford Academic, 1995
978-0-19-851473-2
126.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Diagonalization and Self-Reference
Oxford Academic, 1994
978-0-19-853450-1
266.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Arithmetic, Proof Theory, and Computational Complexity
Oxford University Press, 1993
978-0-19-853690-1
236.00 CHF
lieferbar in ca. 10-20 Arbeitstagen

Weitere Titel zum Thema

AI and Blockchain in Smart Grids
Fundamentals, Methods, and Applications
Taylor and Francis, 2025
978-1-032-81296-0
ca. 285.00 CHF
erhältlich ab April 2025
Medieval Finitism
Cambridge Academic, 2025
978-1-009-04850-7
ca. 29.90 CHF
erhältlich ab Januar 2025
A Mathematical Tour
Taylor and Francis, 2025
978-1-032-74789-7
ca. 165.00 CHF
erhältlich ab Mai 2025
Principles of Mathematics for Economics
Springer Nature EN, 2026
978-3-319-44713-1
ca. 49.50 CHF
erhältlich ab Oktober 2026
Elements of Purity
Cambridge Academic, 2025
978-1-009-53970-8
ca. 85.00 CHF
erhältlich ab Januar 2025
Basics of Cryptocurrency
Taylor and Francis, 2025
978-0-367-03059-9
ca. 99.00 CHF
erhältlich ab August 2025
The Language of Mathematics
The Stories behind the Symbols
University Presses, 2025
978-0-691-20188-7
ca. 38.50 CHF
erhältlich ab Januar 2025
Completely Regular Codes in Distance Regular Graphs
Taylor and Francis, 2025
978-1-032-49444-9
ca. 249.00 CHF
erhältlich ab März 2025
Deep Learning and Blockchain Technology for Smart and Sustainable Cities
Taylor and Francis, 2025
978-1-032-74857-3
ca. 269.00 CHF
erhältlich ab Mai 2025
Naïve Set Theory
A Rigorous Approach
Taylor and Francis, 2025
978-1-032-93304-7
ca. 149.00 CHF
erhältlich ab Februar 2025
Set Theory
An Introduction to Axiomatic Reasoning
Taylor and Francis, 2025
978-1-032-95482-0
ca. 125.00 CHF
erhältlich ab März 2025
Data Analysis for Complex Systems
A Linear Algebra Approach
University Presses, 2040
978-0-691-13918-0
ca. 51.50 CHF
erhältlich ab Dezember 2040