"Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (Jaap van Oosten)