Intuitionistische Untersuchungen der formalistischen Logik (1951)

by Sigekatu Kuroda
Venue:Nagoya Mathematical Journal