Choice Sequences: Chapter of Intuitionistic Mathematics (Oxford Logic Guides)

by A. S. Troelstra Hardcover details (United Kingdom). ISBN: 978-0-19-853163-0 ISBN-10: 0-19-853163-X Clarendon Press · 1977