عنوان
پدید آورنده
موضوع
رده
QA 9 .C795
QA
9
.
C795
کتابخانه
محل استقرار
English
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
Bibliography: p. )215(-216
)By( John N. Crossley
1
، Logic, Symbolic and mathematical
QA
9
.
C795
CA
164
Crossley, John N.
AU
TI
