عنوان
پدید آورنده
موضوع
رده
QA 9.46 .I57 1985
QA
9
.
46
.
I57
1985
کتابخانه
محل استقرار
Intensional mathematics
Amsterdam
North-Holland
1985
v, 229p
Studies in logic and the foundations of mathematics; Vol. 311
Includes bibliographies
ISBN: 0444876324
edited by Stewart Shapiro
1
Addresses, essays, lectures ، Modality )Logic(
Addresses, essays, lectures ، Constructive mathematics
Addresses, essays, lectures ، Intuitionistic mathematics
QA
9
.
46
.
I57
1985
TI
AU Shapiro, Stewart, 1951-
SE
