Realizability: An Introduction to its Categorical SideЭлектронная книгаRealizability: An Introduction to its Categorical SideавтораJaap van OostenРейтинг: 0 из 5 звезд0 оценокСохранить Realizability: An Introduction to its Categorical Side на потом
Studies in Logic and the Foundations of MathematicsСерия электронных книгStudies in Logic and the Foundations of MathematicsавтораK. KunenСохранить Studies in Logic and the Foundations of Mathematics на потом