"Proceedings of the Second Scandinavian Logic Symposium (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (J. E. Fenstad (editor))