TY  - GEN
AU  - 
TI  - Proceedings
PY  - 1977///
CY  - Holland
PB  - D. Reidel Publishing Company
KW  - Philosophy of Science
N1  - Part 1: Logic, foundations of mathematics and computability theory
ER  -