The Weak Theory of Implication (1951)

by ALONZO CHURCH
Venue:Kontroliertes Denken: Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften