Predicative Logic and Formal Arithmetic
Burgess, John P., Hazen, A. P.Volume:
39
Year:
1998
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1305/ndjfl/1039293018
File:
PDF, 115 KB
english, 1998