Theories of types and ordered pairs.
Cooley, John E.Volume:
16
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1305/ndjfl/1093891807
Date:
July, 1975
File:
PDF, 256 KB
english, 1975