Akten des XIV. Internationalen Kongresses für Philosophie

Volume 3, 1969

Sektionen I-IV

Haskell B. Curry
Pages 198-201

The Achievements of Logical Formalization