Foundations of Constructive Mathematics
Subtitle: Metamathematical Studies
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published: December 31, 1985
Format: Hardcover
Number of pages: 466
ISBN-13: 9783540121732