"ISILC logic conference, Kiel, 1974" - читать интересную книгу автора (G. H. Müller, A. Oberschelp, K. Potthoff)