Mathematical intuitionism : introduction to proof theory /

Bibliographic Details

Main Author:	Dragalin, Alʹbert Grigorʹevich
Format:	Book
Language:	English
Published:	Providence, R.I. : American Mathematical Society, [1988]
Series:	Translations of mathematical monographs ; v. 67.
Subjects:	Logic, Symbolic and mathematical.