![](/img/cover-not-exists.png)
[Lecture Notes in Mathematics] Proceedings of the Summer School in Logic Leeds, 1967 Volume 70 || Lectures on proof theory
Löb, M. H.Volume:
10.1007/BF
Year:
1968
Language:
english
DOI:
10.1007/bfb0079094
File:
PDF, 5.18 MB
english, 1968