Realizability: An Introduction to its Categorical SideE-bookRealizability: An Introduction to its Categorical SidediJaap van OostenValutazione: 0 su 5 stelle0 valutazioniSalva Realizability: An Introduction to its Categorical Side per dopo
Studies in Logic and the Foundations of MathematicsSerie di e-bookStudies in Logic and the Foundations of MathematicsdiK. KunenSalva Studies in Logic and the Foundations of Mathematics per dopo