TY  - BOOK
AU  - Gottlob, Georg
AU  - Leitsch, Alexander
AU  - Mundici, Daniele
TI  - Computational logic and proof theory
SN  - 3540571841
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Computational logic
ER  -