عنوان
پدید آورنده
موضوع
رده
QA 9.47 .G22S4
QA
9
.
47
.
G22S4
کتابخانه
محل استقرار
Semantical investigations in Heyting's intuitionistic logic
Dordrecht, Holland
D. Reidel Pub. Co.
c1981
x, 287 p
Synthese library; v.841
Bibliography: p.280-284
ISBN: 9027712026
Dov M. Gabbay
1
، Intuitionistic mathematics
QA
9
.
47
.
G22S4
NO
Gabbay, Dov M., 5491-
AU
AU Heyting, Arend, 1898-1980
TI
SE
