Author: Luckhardt, Horst
Title: Extensional Gödel Functional Interpretation : A Consistency Proof of Classical Analysis
Description: Berlin / Heidelberg, Springer-Verlag, 1973. orig. wrappers. 25x17cm, vi,161 pp. Series: Lecture Notes in Mathematics, 306.. ISBN: 3540061193. Minor wear. Light corner bump. VG.

Keywords: 3540061193 Mathematics, , , , , , , ,