"The Kleene symposium: Proceedings Madison, 1978" - читать интересную книгу автора (Stephen C. Kleene, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, University of...)