A formal system of first-order predicate calculus with infinitely long expressions

• 1 October 1961
• journal article
• Published by Mathematical Society of Japan (Project Euclid) in Journal of the Mathematical Society of Japan
• Vol. 13  (4) , 357-370
• https://doi.org/10.2969/jmsj/01340357

Abstract

Keywords

• FIRST ORDER