Shôji Maehara

General Recursive Functions in the Number-Theoretic Formal System

Shôji Maehara, S. Maehara, 1957 .

The predicate calculus with ε-symbol

Shôji Maehara, 1955 .

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

Gaisi Takeuti, Shôji Maehara, 1961 .