![](/img/cover-not-exists.png)
[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || On the length of proofs in a formal system of recursive arithmetic
Müller, Gert H., Takeuti, Gaisi, Tugué, TosiyukiVolume:
10.1007/BF
Year:
1981
Language:
english
DOI:
10.1007/BFb0090981
File:
PDF, 830 KB
english, 1981