01094 a2200313 4500 ITTG6778 OSt 20251022152111.0 241215s 1993 |||||||||||||||||| #d 3-540-57184-1 ITTG ITTG spa 004 L43 V.713 KURT GODEL COLLOQUIUM (3rd : 1993 : BRNO, CHEC.) COMPUTATIONAL LOGIC AND PROOF THEORY : THIRD KURD GODEL COLLOQUIUM KGC'93, BRNO, CZECH REPUBLIC, AUGUST 1993 : PROCEEDINGS/ G. GOTTLOB, A. LEITSCH, D. MUNDICI, EDS. BERLIN: SPRINGER-VERLAG \\\\ 348 P. 24 CM LECTURE NOTES IN COMPUTER SCIENCE 713 INCLUYEBIBLIOGRAFIAS E INDICE. 3 1.COMPROBACION DE TEOREMA AUTOMATICO - CONGRESOS. 2.MATEMATICAS Y SIMBOLOS LOGICOS - CONGRESOS. GOTTLOB, GEORG. LEITSCH, ALEXANDER. MUNDICI, DANIELE. KURT GODEL SOCIETY. \ KGC'93. ddc 1 20090813 14:23:30 6605 6605 3711 Germán Gutiérrez 0 0 ddc 0 0 1 1 GEN 2009-08-13 0 004 L43 V.713 20659 2025-01-15 07:18:40 ej.1 2025-01-15 1 0 0 ddc 0 0 1 1 GEN 2009-08-13 0 004 L43 V.713 20660 2025-01-15 07:18:40 ej.2 2025-01-15 1 0 0 ddc 0 0 1 1 GEN 2009-08-13 0 004 L43 V.713 20661 2025-01-15 07:18:40 ej.3 2025-01-15 1