TY  - BOOK
AU  - Cottlob Georg
ED  - Kurt Godel Colloquium( 3rd : 1993 : Brno )
ED  - Kurt Godel Colloquium 3rd
TI  - Computational logic and proof theory : proceedings
U1  - 5.131 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Computational logic
KW  - Proof theory
ER  -