𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Proof Theory

✍ Scribed by Schwichtenberg H.

Book ID
127400714
Year
1994
Tongue
English
Weight
249 KB
Category
Library

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
✍ K. SchΓΌtte, J.N. Crossley πŸ“‚ Library πŸ“… 1977 πŸ› Springer-Verlag 🌐 English βš– 3 MB
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