| Record ID | marc_records_scriblio_net/part21.dat:105624428:887 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part21.dat:105624428:887?format=raw |
LEADER: 00887cam 2200229 a 4500
001 90107392 //r95
003 DLC
005 19951025143720.4
008 900123s1989 wb b 00110 eng c
010 $a 90107392 //r95
020 $a0387518428 (U.S.)
040 $aDLC/MiU$cMiU$dDLC
050 00 $aQA3$b.L28 no. 1407$aQA9.54
100 10 $aPohlers, Wolfram.
245 10 $aProof theory :$ban introduction /$cWolfram Pohlers.
260 0 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1989.
300 $avi, 213 p. ;$c25 cm.
490 1 $aLecture notes in mathematics ;$v1407
500 $a"Somewhat extended lecture notes of an introductory course ... [given] during the winter term 1987-1988 at the University of Münster, FRG"--P. iii.
504 $aIncludes bibliographical references (p. 190-207).
650 0 $aProof theory.
830 0 $aLecture notes in mathematics (Springer-Verlag) ;$v1407.