Realizability: An Introduction to its Categorical SideeBookRealizability: An Introduction to its Categorical SidekaryaJaap van OostenPenilaian: 0 dari 5 bintang0 penilaianSimpan Realizability: An Introduction to its Categorical Side untuk nanti
Studies in Logic and the Foundations of MathematicsSeri eBookStudies in Logic and the Foundations of MathematicskaryaK. KunenSimpan Studies in Logic and the Foundations of Mathematics untuk nanti