๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Proof theory and set theory

โœ Scribed by Gaisi Takeuti


Publisher
Springer Netherlands
Year
1985
Tongue
English
Weight
452 KB
Volume
62
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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
Real set theory
โœ K.K. Nambiar ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 241 KB
Intuitive set theory
โœ K.K. Nambiar ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 163 KB