Proof Theory
CHF 33.75
Auf Lager
SKU
6T734J6KK2Q
1 Verfügbar 
Kostenloser Versand ab CHF 50
Geliefert zwischen Mi., 22.10.2025 und Do., 23.10.2025
Details
High Quality Content by WIKIPEDIA articles! Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system. As such, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature. Together with model theory, axiomatic set theory, and recursion theory, proof theory is one of the so-called four pillars of the foundations of mathematics.
30 Tage Rückgaberecht
GarantieWeitere Informationen
- Allgemeine Informationen
- GTIN 09786130330620
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- Sprache Englisch
- Größe H221mm x B149mm x T7mm
- Jahr 2009
- EAN 9786130330620
- Format Fachbuch
- ISBN 978-613-0-33062-0
- Titel Proof Theory
- Untertitel Mathematical Object, Mathematical Logic, Mathematical Proof, Data Structure, Rule of Inference, Syntax (logic), Model Theory, Computability Theory, Structural Proof Theory
- Gewicht 127g
- Herausgeber Betascript Publishers
- Anzahl Seiten 72
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
