Gottlob, Georg <br/><br/>
Computational Logic and Proof Theory / Georg Gottlob, Alexander Leitsch 

 - Germany: Springer-Verlag 
 - xi, 348 p. / 24 cm. 
<br/><br/> Incluye preface y table of contents 
<br/><br/><label>ISBN: </label>3-540-57184-1 
<br/><br/><label>Subjects--Topical Terms: </label><br/>1.Computacion electronica de datos
<br/><br/><label>LC Class. No.: </label>QA76 G573 
<br/><br/><label>Dewey Class. No.: </label>001.6 G652c