عنوان
پدید آورنده
موضوع
رده
QA 9 .C795
QA
9
.
C795
کتابخانه
محل استقرار
34926
English
Crossley, John N
Constructive order types
Amsterdam, London
North-Holland Pub. Co.
1969
225 p. 23 cm
Studies in logic and the foundations of mathematics
Bibliography: p. )215(-216
)By( John N. Crossley
، Logic, Symbolic and mathematical
QA
9
.
C795
AU
TI
SE
یاضه ریه دانشکدانابخکت
