Mathematical intuitionism : introduction to proof theory / A.G. Dragalin.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Providence, R.I. :
American Mathematical Society,
[1988]
|
| Series: | Translations of mathematical monographs ;
v. 67. |
| Subjects: |
| Item Description: | Translation of: Matematicheskiĭ intuit︠s︡ionizm. |
|---|---|
| Physical Description: | ix 228 pages ; 24 cm. |
| Bibliography: | Includes bibliographical references (pages 201-216) and index. |
| ISBN: | 0821845209 9780821845202 |
| ISSN: | 0065-9282 ; |