MI Mathematical intuitionism: introduction to proof theory by Dragalin, Alʹbert Grigorʹevič fromTranslations of mathematical monographs 0 Type: Book
MI Mathematical intuitionism: introduction to proof theory by Dragalin, Alʹbert Grigorʹevič fromTranslations of mathematical monographs 0 Type: Book
MI Mathematical intuitionism: introduction to proof theory by Dragalin, Alʹbert Grigorʹevič fromTranslations of mathematical monographs 0 Type: Book