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 .
<br/><br/> INCLUYEBIBLIOGRAFIAS E INDICE. 
<br/><br/><label>ISBN: </label>3-540-57184-1 
<br/><br/><label>Subjects--Topical Terms: </label><br/>1.COMPROBACION DE TEOREMA AUTOMATICO -  CONGRESOS.<br/>2.MATEMATICAS Y SIMBOLOS  LOGICOS - CONGRESOS.
<br/><br/><label>Dewey Class. No.: </label>004 L43 V.713