Proof theory an introduction Wolfram Pohlers
Series: Lecture notes in mathematics (Springer-Verlag)Publication details: Berlin New York Springer-Verlag c1989Description: vi, 213 p 24 cmISBN:- 0387518428 (New York)
- 3540518428 (Berlin)
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | XXX-POH-5 (Browse shelf(Opens below)) | Available | 0031399 |
Browsing IMAR shelves Close shelf browser (Hides shelf browser)
XXX-PET-60 Rekursive Funktionen in der Komputer-Theorie | XXX-PET-60 Rekursive Funktionen in der Komputer-Theorie | XXX-POE-7 Analyse differentielle | XXX-POH-5 Proof theory an introduction | XXX-POP-85 Omul, matematicianul,mentorul | XXX-PRE-17 Iterates of piecewise monotone mappings on an interval | XXX-RAY-6 Robust stastical methods |
"Somewhat extended lecture notes of an introductory course ... [given] during the winter term 1987-1988 at the University of Munster, FRG"--P. iii
Cuprinde bibliografie si index
There are no comments on this title.