TY  - BOOK
AU  - HEYTING A
TI  - LOGIC AND FOUNDATIONS OF MATHEMATICS 
U1  - UGM B K8  HEY/L 
PY  - 1968///
PB  - Default Publisher
ER  -