|
|
|
|
| LEADER |
01110nam a2200265 i 4500 |
| 001 |
c000303828 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
840302s1977 nyu 0 eng d |
| 019 |
1 |
|
|a 69847143
|5 LACONCORD2021
|
| 020 |
|
|
|a 0387079114
|
| 035 |
|
|
|a (OCoLC)2508348
|5 LACONCORD2021
|
| 082 |
0 |
4 |
|a 511/.3
|
| 100 |
1 |
|
|a Schütte, K.
|q (Kurt)
|
| 240 |
1 |
0 |
|a Beweistheorie.
|l English
|
| 245 |
1 |
0 |
|a Proof theory /
|c Kurt Schutte ; translated from the German by J. N. Crossley.
|
| 260 |
|
|
|a New York :
|b Springer-Verlag,
|c 1977.
|
| 300 |
|
|
|a 302p.
|
| 490 |
0 |
|
|a Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ;
|v Bd. 225
|
| 504 |
|
|
|a Bibliography: p.[293]-296.
|
| 650 |
|
0 |
|a Proof theory.
|
| 830 |
|
0 |
|a Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;
|v Bd. 225.
|
| 852 |
8 |
|
|b CARM
|h A2:AB01B0
|i C10986
|p 0514426
|f BK
|
| 999 |
f |
f |
|i e57de615-1b51-51d3-a0b6-056de3af3945
|s de48455a-eaee-5f2a-bd96-8f76353d02ba
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C10986
|f A2:AB01B0
|h Other scheme
|i book
|m 0514426
|