TY  - BOOK
AU  - Kalmar Laszlo ed
ED  - Colloquium on the Foundations of Mathematics,Mathematical Machines and their Applications( 1962 : Tihany )
ED  - 
TI  - Foundations of mathematics, mathematical machines and their applications: proceedings
U1  - 511.3 
PY  - 1965///
CY  - Budapest
PB  - Akademiai Kiado
KW  - mathematical logic
KW  - Mathematical machine
ER  -