-
RecordNumber
95490
-
Author
Mints, G. E.
-
Title
A short introduction to intuitionistic logic
-
Author Statement
Grigori Mints
-
Publication
New York : Kluwer Academic
-
Publication Year
c2000
-
Collation
ix, 131 p.
-
Series
University series in mathematics
-
Index
Incldes index
-
Bibliography
Includes bibliographies
-
Subject
Intuitionistic mathematics
-
ADDED ENTRIES
TI
-
Main Class
511
-
Sub Class
.22
-
Cutter no
M667s
-
واردكننده اطلاعات
شيرين السادات خليفه سلطاني
-
Link To Document :
