Constructive order types
By: [By] John N. Crossley
Series: Studies in logic and the foundations of mathematics; Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1969
Place of publication: Amsterdam; London
Language: eng
Format: [electronic resource]
Number of pages: 225
ISBN-13: 9780444534200
Subjects: Logique symbolique et mathématique; Symbolic and mathematical Logic; Constructieve wiskunde
Notes: Bibliography: p. [215]-216.

Description based on print version record.