TY  - BOOK
TI  - Colloquium on the foundations of Mathematics, Mathematical machines and their Applications
U1  - 510.78 
PY  - 1965///
CY  - Budapest
PB  - Akademiai Kiado
KW  - Mathematics
ER  -