00994nam0-22003611i-450-99000097975040332120090210164857.0000097975FED01000097975(Aleph)000097975FED0100009797520001205d1969----km-y0itay50------baengConstructive order typesJohn N. CrossleyAmsterdam ; LondonNorth-Holland1969225 p.23 cmStudies in logic and the foundations of mathematicsLogicaRicorsività16011 rid.itaCrossley,John Newsome46009ITUNINARICAUNIMARCBK990000979750403321C-30-(5211095MA111-L-611654MA17-1436612FI1XI F C 111485DFDFI1DFDMA1Constructive order types353291UNINA