|
|
|
|
| LEADER |
00660 a2200169 4500 |
| 008 |
090303t xxu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 9 780521 414135
|
| 100 |
|
|
|a Aczel, Peter, Ed.
|9 8003
|
| 245 |
|
|
|a Proof theory:
|b A selection of papers from the leeds theory programme
|c Peter Aczel, Harold Simmons, Stanley S Wainer, Eds
|
| 260 |
|
|
|a Cambridge
|b Cambridge university press
|c 1992
|
| 300 |
|
|
|a x, 306p.
|
| 700 |
|
|
|a Aczel, Peter, Ed.
|9 1521
|
| 700 |
|
|
|a Simmons, Harold, Ed.
|9 8004
|
| 700 |
|
|
|a Wainer, Stanley S, Ed.
|9 1522
|
| 942 |
|
|
|2 ddc
|c BK
|6 _
|
| 999 |
|
|
|c 84513
|d 84513
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 _
|7 0
|9 105463
|a DCA
|b DCA
|d 2009-03-03
|p CA000998
|r 2009-03-03
|w 2009-03-03
|y BK
|