On a generalized logic calculus (1953)

by G Takeuti
Venue:Japanese Journal of Mathematics