Foundations of constructive mathematics: metamathematical studies/ Michael J. Beeson.
Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3. Folge, Bd. 6Publication details: Berlin ; New York: Springer-Verlag, c1985.Description: xxiii, 466 p.: ill.; 25 cmISBN:- 0387121730 (U.S.)
- 511.3 B415f
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 B415f 1985 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000095276 |
Includes indexes.
Bibliography: p. [439]-449.
There are no comments on this title.