𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Proof theory

✍ Scribed by K. Schütte, J.N. Crossley

Book ID
127453720
Publisher
Springer-Verlag
Year
1977
Tongue
English
Weight
3 MB
Series
Grundlehren der mathematischen Wissenschaften
Edition
Springer
Category
Library
ISBN
3540079114

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof theory
Proof theory
✍ Gaisi Takeuti 📂 Library 📅 1987 🏛 North-Holland 🌐 English ⚖ 4 MB
Proof Theory
Proof Theory
✍ Schwichtenberg H. 📂 Library 📅 1994 🌐 English ⚖ 249 KB
Proof theory and set theory
Proof theory and set theory
✍ Gaisi Takeuti 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 452 KB
A fuzzy proof theory
A fuzzy proof theory
✍ Dongbo Liu; Deyi Li 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 242 KB
Language and proof theory
Language and proof theory
✍ Dov Gabbay; Ruth Kempson 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 321 KB
Proof theory and complexity
Proof theory and complexity
✍ Carlo Cellucci 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 600 KB