"Proceedings of the Third Scandinavian Logic Symposium " - читать интересную книгу автора (Stig Kanger)