|
|
|
|
| LEADER |
00718cam a2200181 i 4500 |
| 003 |
OSt |
| 008 |
750716s1975 ne 001 0 eng |
| 080 |
|
|
|a 510.2
|b TAK
|
| 100 |
1 |
|
|a Takeuti, Gaisi
|9 8508
|
| 245 |
1 |
0 |
|a Proof theory
|c Gaisi Takeuti.
|
| 260 |
|
|
|a Amsterdam :
|b North-Holland Pub. Co. ;
|a New York :
|b American Elsevier Pub. Co.,
|c 1975.
|
| 300 |
|
|
|a vii, 372 p. ;
|
| 500 |
|
|
|a Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.
|
| 500 |
|
|
|a Includes index.
|
| 650 |
|
0 |
|a Proof theory.
|9 8413
|
| 942 |
|
|
|c BK
|6 _
|
| 999 |
|
|
|c 221247
|d 221247
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 5102_TAK
|7 0
|9 286188
|a MAT
|b MAT
|d 2011-02-22
|o 510.2 TAK
|p MAT00521
|r 2011-02-22
|t 1
|w 2011-02-22
|y BK
|