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.

Description
Item Description:	Translation of: Matematicheskiĭ intuit︠s︡ionizm. Includes indexes.
Physical Description:	ix, 228 pages
Bibliography:	Bibliography: pages 201-216.
ISBN:	0821845209
ISSN:	0065-9282 ;