عنوان
پدید آورنده
موضوع
رده
QA 9.47 .M56S5
QA
9
.
47
.
M56S5
کتابخانه
محل استقرار
A short introduction to intuitionistic logic
New York
Kluwer Academic / Plenum Publishers
c2000
ix, 131 p
University series in mathematics
Bibliography: p.125-127
ISBN: 0306463946
Grigori Mints
1
، Intuitionistic mathematics
QA
9
.
47
.
M56S5
Mints, Grigori E.
AU
TI
TI Intuitionistic Logic
SE University series in mathematics )Plenum press(
