Muller, G.H. Proceedings on ISICC logic conference ed. by G.H. Muller, A. Oberschelp and K. Potthoff - Berlin Springer-Verlag 1975 - iv, 651p - Lecture Notes in Mathematics 499 . ISBN: 3540075348 Dewey Class. No.: 511.306 / N75