Realizability: An Introduction to its Categorical SideLivre électroniqueRealizability: An Introduction to its Categorical SidedeJaap van OostenÉvaluation : 0 sur 5 étoiles0 évaluationEnregistrer Realizability: An Introduction to its Categorical Side pour plus tard
Studies in Logic and the Foundations of MathematicsSérie de livres électroniquesStudies in Logic and the Foundations of MathematicsdeK. KunenEnregistrer Studies in Logic and the Foundations of Mathematics pour plus tard