Title: Logic and foundations of mathematics
Subjects: Symbolic and mathematical Logic
People: A. Heyting (1898-)