عنوان
پدید آورنده
موضوع
رده
QA,9.47,.M56,2000eb
QA
,
9
.
47
,.
M56
,
2000eb
کتابخانه
محل استقرار
9786610205509
IR
ebook8676
انگلیسی
IR
A short introduction to intuitionistic logi
[Electronic Resource]
/ Grigori Mints
New York
: Kluwer Academic / Plenum Publishers,
, 2000.
ix, 131 p.
: ; 24 cm.
(University series in mathematics)
e
Includes bibliographical references and index.
University series in mathematics (Plenum Press)
Intuitionistic mathematics.
511
,
22
QA
,
9
.
47
,.
M56
,
2000eb
Mint& x0361;s, G. E
MyiLibrary
ایران
511,22
0306469758.pdf
0
0
old catalog
e
BL
1
a
Y
