TY - BOOK AU - Schmidt,H.Arnold AU - Schutte,K AU - Thiele,H.J. ED - Logic Colloquium ED - International Union of the History and Philosophy of Science. TI - Contributions to mathematical logic: proceedings of the Logic Colloquium, Hannover 1966 U1 - 164 PY - 1968/// CY - Amsterdam PB - North-Holland Pub. KW - Logic, symbolic and mathematical KW - Congresses N1 - Sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union for the History and Philosophy of Science ER -