TY  - BOOK
AU  - Gottlob, Georg
AU  - Mundici, Daniele, Coaut.
TI  - Computational Logic and Proof Theory / Georg Gottlob, Alexander Leitsch
SN  - 3-540-57184-1
AV  - QA76 G573 
U1  - 001.6 G652c 
CY  - Germany: Springer-Verlag
KW  - 1.Computacion electronica de datos
N1  - Incluye preface y table of contents
ER  -