-
RecordNumber
12780
-
Author
Dragalin, Albert Grigorevich
-
Title
Mathematical intuitionism; introduction 10 proof theory
-
Author Statement
A. G. Dragalin
-
Publication
American Mathematical Society
-
Publication Year
[c1988]
-
Collation
ix, 228p
-
Series
Translation of mathematical monographs, v.67
-
Bibliography
Bibliography:P. 201- 216
-
Subject
Logic, symbolic and mathematical
-
ADDED ENTRIES
^dSeries: Translations of mathematical morographs, v. 67
-
Main Class
511
-
Sub Class
.3
-
Cutter no
D759m
-
وارد كنندة اطلاعات
bahrami 1108^d//
-
Link To Document :
