عنوان
پدید آورنده
موضوع
رده
QA 9.46 .I57 1985
QA
9
.
46
.
I57
1985
کتابخانه
محل استقرار
70190
English
Intentional mathematics
Amsterdam, New York
North-Holland, Sole distributors for the U.S.A. and Canada
1985
230 p. : 25 cm
Studies in logic and the foundations of mathematics, v. 311
Includes bibliographical references and index
edited by Stewart Shapiro
، Modality )Logic(
، Constructive mathematics
، Intuitionistic mathematics
QA
9
.
46
.
I57
1985
TI
AU trawetS ,oripahS ed. 1951-
SE
یاضه ریه دانشکدانابخکت
