Author: Troelstra, A. S. ; editor : Title: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Description: Berlin / Heidelberg, Springer-Verlag, 1973. orig. wrappers. 24x16cm, xvii,485 pp. Weighs 900 grams. Series: Lecture Notes in Mathematics, 525.. ISBN: 3540064915. Minor wear. VG.
Keywords: 3540064915 Mathematics, Symbolic Logic, , , , , , ,
Price: US$ 59.00 Seller: Expatriate Bookshop of Denmark
- Book number: BOOKS027208I