عنوان
پدید آورنده
موضوع
رده
QA 9 .H417
QA
9
.
H417
کتابخانه
محل استقرار
IR
128345
انگلیسی
IR
Title in the Rossian
[Book]
Mockba
: "Hayka"
, 1965
199p.
: diagrs.
; 20 cm
Biblioteka sbornika Matematika
انگليسي
At head of title: A.
Added t.p. in English
Intuitsionizm
Logic, Symbolic and mathematical
Mathematics-- Methodology
QA
9
.
H417
Heyting
, Arend
, 1898-
, author
Iran
Central Library Of Tehran University
Old cataloging
BL
1
Y
