Constructivism in mathematics : an introduction /

• 作者：A.S. Troelstra, D. van Dalen
• 出版者：North-Holland : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co
• 出版地：Amsterdam ; New York ; New York, N.Y :
• 語文：英語
• 叢書名：Studies in logic and the foundations of mathematics ;
• ISBN/ISSN/ISRC：0444702660 (v. 1)
• 作者：TroelstraA. S;Dalen D. van
• 索書號：511.3 511.3