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