| LDR | | 00997nam ac200277 k 4500 |
| 001 | | 000000074029 |
| 005 | | 20140819032918 |
| 007 | | ta |
| 008 | | 000707s ulk 000a kor |
| 010 | |
▼a 90107392 //r95 |
| 020 | |
▼a 0387518428 (U.S.) |
| 040 | |
▼a DLC/MiU
▼c MiU
▼d DLC |
| 049 | |
▼l M0117044
▼l M0177378 |
| 050 | |
▼a QA3QA9.54
▼b .L28 no. 1407 |
| 090 | |
▼a 410.8
▼b L471
▼c V.1407 |
| 100 | 1 |
▼a Pohlers, Wolfram. |
| 245 | 10 |
▼a Proof theory:
▼b an introduction/
▼d Wolfram Pohlers. |
| 246 | 13 |
▼i 관제:
▼a 1988 at the University of M?nster, FRG""/ |
| 246 | 13 |
▼i 관제:
▼a P. iii. |
| 260 | |
▼a BerlinNew York:
▼b Springer-Verlag,
▼c c1989. |
| 300 | |
▼a vi, 213 p.;
▼c 26 cm. |
| 440 | 00 |
▼a Lecture notes in mathematics;
▼v v.1407. |
| 500 | |
▼a ""Somewhat extended lecture notes of an introductory course ... [given] during the winter term 1987/ |
| 504 | |
▼a Includes bibliographical references (p. 190-207). |
| 650 | |
▼a Proof theory. |
| 830 | |
▼a Lecture notes in mathematics (Springer-Verlag);
▼v 1407. |