Proof theory a selection of papers from the leeds proof theory programme 1990 edited by Peter Aczel, Harold Simmons and Stanley S. Wainer
Aczel, Peter| Call Number | 511.3 Ac99P |
| Author | Aczel, Peter editor |
| Title | Proof theory a selection of papers from the leeds proof theory programme 1990 edited by Peter Aczel, Harold Simmons and Stanley S. Wainer |
| Publication | New Delhi: Cambridge University Press, 2008. |
| Physical Description | x, 306 p. |
| Added Author | Simmons, Harold editor Wainer, Stanley S. editor |
| Subject | PROOF THEORY. |
Total Ratings:
0
00850nam a2200229 4500
001
vtls001599457
003
VRT
005
20240604151300.0
008
230208 00 eng
020
$a 9780521054164
039
9
$a 202406041513 $b Pad $c 202406031728 $d Madhu $y 202302081014 $z dutt
082
$a 511.3 $b Ac99P
100
1
$a Aczel, Peter $e editor
245
1
$a Proof theory $b a selection of papers from the leeds proof theory programme 1990 $c edited by Peter Aczel, Harold Simmons and Stanley S. Wainer
260
$a New Delhi: $b Cambridge University Press, $c 2008.
300
$a x, 306 p.
504
$a Includes bibliographical references and index.
650
0
$a PROOF THEORY.
700
1
$a Simmons, Harold $e editor
700
1
$a Wainer, Stanley S. $e editor
999
$a VIRTUA4
999
$a VTLSSORT0080*0200*0820*1000*2450*2600*3000*5040*6500*7000*7001*9992
No Reviews to Display
| Subject | PROOF THEORY. |