Constructive order types
John N. Crossley.
Amsterdam ; London : North-Holland, 1969.
225 págs. ; 23 cm.
Serie: Studies in logic and the foundations of mathematics
Incluye dos apéndices: A mixed cancellation theorem / by P. H. G. Aczel and J. N. Crossley — Infinite products and principal numbers for multiplication / by A. G. Hamilton.
Bibliografía: p. [215]-216.
Reseña: MathSciNet, 41 #5214