160 / St9
Crossley, John N.
Constructive order types
/ John N. Crossley
.- Amsterdam: North-Holland Publishing, 1969
.- 222p.
.- ( Studies In Logic And The Foundations Of Mathematics / Edited By A. Heyting
Subject Headings:
Constructive Order Types;
Foundations Of Mathematics;
Copy Details:
Acc. No.: A6194, Full Call No.: 160 St9, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------