Bookmark

Report an Issue

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

Author: Dragalin, Alʹbert Grigorʹevich
Uniform Title: Matematicheskiĭ intuit͡sionizm. English
Published: Providence, R.I. : American Mathematical Society, 1988.
Physical Description: ix, 228 pages ; 24 cm.

Availability

Browse Nearby on Shelf

Finding items...

Series

Translations of mathematical monographs ; v. 67.

Subject(s)

Logic, Symbolic and mathematical

ISBN

0821845209

Note

Translation of: Matematicheskiĭ intuit͡sionizm.
Includes index.

Bibliography Note

Bibliography: pages 201-216.

View MARC record | catkey: 1083131