𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || On the length of proofs in a formal system of recursive arithmetic

✍ Scribed by Müller, Gert H.; Takeuti, Gaisi; Tugué, Tosiyuki

Book ID
121854094
Publisher
Springer Berlin Heidelberg
Year
1981
Weight
830 KB
Category
Article
ISBN
3540111611

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES