TY  - GEN
AU  - GOTTLOB, GEORG.
AU  - LEITSCH, ALEXANDER.
AU  - MUNDICI, DANIELE.
ED  - KURT GODEL COLLOQUIUM (3rd : 1993 : BRNO,  CHEC.)
ED  - KURT GODEL SOCIETY. \ KGC'93.
TI  - COMPUTATIONAL LOGIC AND PROOF THEORY : :  THIRD KURD GODEL COLLOQUIUM KGC'93, BRNO,  CZECH REPUBLIC, AUGUST 1993 : 
T2  - LECTURE NOTES IN COMPUTER SCIENCE
SN  - 3-540-57184-1
U1  - 004 L43 V.713 
PY  - 0000///\\\\
CY  - BERLIN: 
PB  - SPRINGER-VERLAG
KW  - 1.COMPROBACION DE TEOREMA AUTOMATICO -  CONGRESOS
KW  - 2.MATEMATICAS Y SIMBOLOS  LOGICOS - CONGRESOS
N1  - INCLUYEBIBLIOGRAFIAS E INDICE
ER  -