TY  - BOOK
AU  - Heyting A.
TI  - Festschrift. Logic and foundations of mathematics
U1  - B:R14jM98, K8 
PY  - 1968///
ER  -