Mathematical intuitionism : introduction to proof theory / A.G. Dragalin.

Bibliographic Details
Uniform Title:Matematicheskiĭ intui͡tsionizm
Translations of mathematical monographs ; v. 67.
Main Author: Dragalin, Alʹbert Grigorʹevich
Language:English
Russian
Published: Providence, R.I. : American Mathematical Society, 1988.
Series:Translations of mathematical monographs ; v. 67.
Subjects:
Logic, Symbolic and mathematical.
Physical Description:ix, 228 pages : illustrations ; 24 cm.
Format: Book
Description
Note:Translation of: Matematicheskiĭ intui͡tsionizm.
Includes index.
Call Number:QA9 .D7313 1988
Bibliography Note:Bibliography: pages 201-216.
ISBN:0821845209
ISSN:0065-9282 ;