𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Proof theory

✍ Scribed by Gaisi Takeuti


Book ID
127418290
Publisher
North-Holland
Year
1987
Tongue
English
Weight
4 MB
Series
Studies in Logic and the Foundations of Mathematics 81
Edition
2nd ed
Category
Library
City
Amsterdam; New York :, New York, N.Y., U.S.A
ISBN
0444879439

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Proof Theory
✍ Schwichtenberg H. πŸ“‚ Library πŸ“… 1994 🌐 English βš– 249 KB
Proof theory
✍ K. SchΓΌtte, J.N. Crossley πŸ“‚ Library πŸ“… 1977 πŸ› Springer-Verlag 🌐 English βš– 3 MB
Proof theory and set theory
✍ Gaisi Takeuti πŸ“‚ Article πŸ“… 1985 πŸ› Springer Netherlands 🌐 English βš– 452 KB
A fuzzy proof theory
✍ Dongbo Liu; Deyi Li πŸ“‚ Article πŸ“… 1990 πŸ› Springer 🌐 English βš– 242 KB
Language and proof theory
✍ Dov Gabbay; Ruth Kempson πŸ“‚ Article πŸ“… 1996 πŸ› Springer Netherlands 🌐 English βš– 321 KB
Proof theory and complexity
✍ Carlo Cellucci πŸ“‚ Article πŸ“… 1985 πŸ› Springer Netherlands 🌐 English βš– 600 KB