TY - BOOK AU - Schmidt,H.Arnold [ed] AU - Schütte,K.[ed] AU - Thiele,H.J.[ed] 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 - 160 PY - 1968/// CY - Amsterdam PB - North-Holland KW - Logic, Symbolic and mathematical N1 - Sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union for the History and Philosophy of Science ER -