THIRD KURD GODEL COLLOQUIUM KGC'93, BRNO, CZECH REPUBLIC, AUGUST 1993 : PROCEEDINGS KURT GODEL COLLOQUIUM (3rd : 1993 : BRNO, CHEC.) creator GOTTLOB, GEORG. LEITSCH, ALEXANDER. MUNDICI, DANIELE. KURT GODEL SOCIETY. \ KGC'93 BERLIN SPRINGER-VERLAG \\\\ spa 348 P. 24 CM G. GOTTLOB, A. LEITSCH, D. MUNDICI, EDS. INCLUYEBIBLIOGRAFIAS E INDICE. 3 1.COMPROBACION DE TEOREMA AUTOMATICO - CONGRESOS 2.MATEMATICAS Y SIMBOLOS LOGICOS - CONGRESOS 004 L43 V.713 3-540-57184-1 ITTG 241215 20251022152111.0 ITTG6778