Formal Systems of Constructive Mathematics
M. H. LöbVolume:
21
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2268489
Date:
March, 1956
File:
PDF, 824 KB
english, 1956