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, , , , , , ,