Open Access
Translator Disclaimer
July 1974 Translation of the simple theory of types into a first order language.
H. Julian Wadleigh
Notre Dame J. Formal Logic 15(3): 432-442 (July 1974). DOI: 10.1305/ndjfl/1093891404
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
11 PAGES


SHARE
Vol.15 • No. 3 • July 1974
Back to Top