![](/img/cover-not-exists.png)
Incompleteness in intuitionistic metamathematics.
McCarty, David CharlesVolume:
32
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1305/ndjfl/1093635833
Date:
June, 1991
File:
PDF, 4.04 MB
english, 1991