TY - BOOK ED - Logic Colloquim, Hannover TI - Contributions to mathematical logic: Proceedings T2 - Studies in logic and the foundations of mathematics PY - 1968/// CY - Amsterdam PB - North-Holland Pub. ER -