Constructive Order Types: Studies in Logic and the Foundations of Mathematics

by John N. Crossley Hardcover details (USA). ISBN: 978-0-7204-2251-1 ISBN-10: 0-7204-2251-5 North Holland Publishing Company · 1969