"ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974" - читать интересную книгу автора (G. H. Müller, A. Oberschelp, K. Potthoff)