![]() |
by: A. S. Troelstra · D. van DalenHardcover details (United States). details (UK). details (Germany). details (Canada). ISBN: 978-0-444-70358-3 ISBN-10: 0-444-70358-6 Elsevier Science · 1988 |
See also: | ||
1988 | Hardcover | Constructivism in Mathematics, Vol 1, Volume 121 (Studies in Logic and the Foundations of Mathematics) |