On a generalized logical calculus (1953)

by G Takeuti
Venue:UNIVERSITY OF ILLINOIS AT CHICAGO CIRCLE