TY  - GEN
AU  - Buss, Samuel R.
TI  - Handbook of proof theory 
SN  - 9780444898401
AV  - QA9.54 
U1  - 511.3 
PY  - 1998///
CY  - New York
PB  - Elsevier
KW  - Proof theory
N1  - Contine Bibliografie la sfarsitul fiecarui capitol
Index p. 787
UR  - http://www.loc.gov/catdir/enhancements/fy0601/98018922-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0601/98018922-t.html
ER  -