TY - GEN digital ID - 131774672 TI - Constructive order types PY - 1969 SN - 9780444534200 0444534202 PB - London North-Holland Pub. Co DB - UniCat KW - Mathematical logic UR - https://www.unicat.be/uniCat?func=search&query=sysid:131774672 AB - ER -