|
|
|
|
| LEADER |
01092nam a22002651 4500 |
| 001 |
c000051810 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
840803s1960 wb b 00000 ger |
| 019 |
1 |
|
|a 3329417
|z 12643648
|5 LACONCORD2021
|
| 035 |
|
|
|a (OCoLC)1227160
|5 LACONCORD2021
|
| 040 |
|
|
|a DLC/ICU
|c ICU
|
| 050 |
0 |
0 |
|a QA9
|b .S377
|
| 100 |
1 |
|
|a Schutte, K.
|q (Kurt),
|
| 245 |
1 |
0 |
|a Beweistheorie.
|
| 260 |
|
|
|a Berlin,
|b Springer,
|c 1960.
|
| 300 |
|
|
|a 355 p.
|c 24 cm.
|
| 490 |
1 |
|
|a Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgebiete,
|v Bd. 103
|
| 504 |
|
|
|a Includes bibliography.
|
| 650 |
|
0 |
|a Proof theory.
|
| 830 |
|
0 |
|a Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgebiete ;
|v Bd. 103.
|
| 852 |
8 |
|
|b CARM
|h A2:AD10E0
|i C00441
|p 0024826
|f BK
|
| 082 |
0 |
4 |
|a 510.1
|
| 999 |
f |
f |
|i b7979436-0c1a-5a0b-bc8d-f81b2e43a2d4
|s 02561799-860c-5d40-8365-936128569e9b
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C00441
|f A2:AD10E0
|h Other scheme
|i book
|m 0024826
|