|
|
|
|
| LEADER |
00000nam a22000008i 4500 |
| 001 |
b1132309 |
| 003 |
MWH |
| 008 |
760922s1976 nyu b 00110 eng |
| 010 |
|
|
|a 76045768
|
| 020 |
|
|
|a 0387079114
|
| 035 |
|
|
|a 2508348
|
| 040 |
|
|
|a DLC
|c DLC
|d HCD
|
| 041 |
1 |
|
|a engger
|
| 049 |
|
|
|a HCDs
|
| 090 |
|
|
|a QA9.54 .S3813
|
| 100 |
1 |
0 |
|a Schütte, K.
|q (Kurt).
|
| 240 |
0 |
0 |
|a Beweistheorie. English
|
| 245 |
1 |
0 |
|a Proof theory /
|c Kurt Schütte ; translated from the German by J. N. Crossley. --
|
| 260 |
0 |
|
|a New York :
|b Springer-Verlag,
|c 1977.
|
| 300 |
|
|
|a xii, 299 p. ;
|c 25 cm. --
|
| 490 |
1 |
|
|a Grundlehren der mathematischen Wissenschaften ; 225
|
| 500 |
|
|
|a Translation of Beweistheorie.
|
| 504 |
|
|
|a Bibliography: p.
|
| 500 |
|
|
|a Includes index.
|
| 650 |
|
0 |
|a Proof theory.
|
| 830 |
|
0 |
|a Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;
|v Bd. 225.
|
| 907 |
|
|
|a .b11323097
|b 05-23-16
|c 10-03-03
|
| 998 |
|
|
|a hq
|b 10-01-03
|c m
|d a
|e -
|f eng
|g nyu
|h 0
|i 1
|
| 995 |
|
|
|a MARION AAJ-4793
|
| 945 |
|
|
|f - -
|g 1
|h 0
|i 38344000972834
|j - -
|k - -
|l hqcol
|o -
|p $0.00
|q -
|r -
|s -
|t 0
|u 2
|v 0
|w 0
|x 0
|y .i11523724
|z 10-03-03
|
| 999 |
f |
f |
|i a06209fa-8ee6-5143-844a-72315b485a87
|s 4b0228e3-5e41-5dd4-a328-50524fd0319b
|
| 952 |
f |
f |
|p Can Circulate
|a College of the Holy Cross
|b Main Campus
|c Science
|d Science Library
|e QA9.54 .S3813
|h Other scheme
|i Book
|m 38344000972834
|n 1
|