Open Access
October, 1961 A formal system of first-order predicate calculus with infinitely long expressions
Shoji MAEHARA, Gaisi TAKEUTI
J. Math. Soc. Japan 13(4): 357-370 (October, 1961). DOI: 10.2969/jmsj/01340357
First Page PDF

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

Vol.13 • No. 4 • October, 1961
Back to Top