005 |
|
19991026171823.0 |
010 |
|
|a 98018922
|
020 |
|
|a0444898409 :|cNT|4819
|
035 |
|
|a98018922
|
040 |
|
|aTWNTU|cTWNTU|dTWNTU
|
041 |
|
|aeng
|
044 |
|
|aus
|
050 |
00
|
|aQA9.54|b.H35 1998
|
082 |
00
|
|a511.3|221
|
092 |
|
|a511.3/H236///////E019047
|
095 |
|
|aNTTTCL|bG|cE019047|d511.3|eH236|pBOOK|fSYNSIA|zBOOK|m0|tDDC
|
245 |
00
|
|aHandbook of proof theory /|cedited by Samuel R. Buss.
|
260 |
|
|aNew York :|bElsevier,|c1998.
|
300 |
|
|a811 p. ;|c23 cm.
|
440 |
0
|
|aStudies in logic and the foundations of mathematics ;|vv. 137
|
504 |
|
|aIncludes bibliographical references and indexes.
|
650 |
0
|
|aProof theory.
|
700 |
1
|
|aBuss, Samuel R.
|
809 |
|
|d511.3|eH236|tDDC|pBOOK
|
939 |
|
|aE3248-1
|