|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
b1280124 |
| 003 |
MWH |
| 008 |
900123s1989 wb b 00110 eng c |
| 010 |
|
|
|a 90107392
|
| 019 |
|
|
|a 20795262
|
| 020 |
|
|
|a 0387518428 (U.S.)
|
| 035 |
|
|
|a 21040622
|
| 040 |
|
|
|a DLC/MiU
|c EYM
|d DLC
|d HCD
|
| 049 |
|
|
|a HCDs
|
| 090 |
|
|
|a QA9.54 .P64 1989
|
| 100 |
1 |
0 |
|a Pohlers, Wolfram.
|
| 245 |
1 |
0 |
|a Proof theory :
|b an introduction /
|c Wolfram Pohlers.
|
| 260 |
0 |
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1989.
|
| 300 |
|
|
|a vi, 213 p. ;
|c 25 cm.
|
| 490 |
1 |
|
|a Lecture notes in mathematics ;
|v 1407
|
| 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 |
|
|
|a Bibliography p. 190-207.
|
| 500 |
|
|
|a Includes indexes.
|
| 650 |
|
0 |
|a Proof theory.
|
| 830 |
|
0 |
|a Lecture notes in mathematics (Springer-Verlag) ;
|v 1407.
|
| 907 |
|
|
|a .b12801240
|b 05-23-16
|c 10-03-03
|
| 998 |
|
|
|a hq
|b 10-01-03
|c m
|d a
|e -
|f eng
|g xxu
|h 0
|i 1
|
| 995 |
|
|
|a MARION ACF-4453
|
| 945 |
|
|
|f - -
|g 1
|h 0
|i 32200000029155
|j - -
|k - -
|l hqcol
|o -
|p $0.00
|q -
|r -
|s -
|t 0
|u 2
|v 0
|w 0
|x 0
|y .i13339436
|z 10-03-03
|
| 999 |
f |
f |
|i edc17799-076e-5591-bae8-eb487ef53404
|s c353eb63-99e7-5b43-b408-6e3cf246e9cc
|
| 952 |
f |
f |
|p Can Circulate
|a College of the Holy Cross
|b Main Campus
|c Science
|d Science Library
|e QA9.54 .P64 1989
|h Other scheme
|i Book
|m 32200000029155
|n 1
|