Theorem proving with analytic tableaux and related methods /  
ed. Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi. 
 - Berlin :   Springer,   1996. 
 - x, 329 p. :  il. ;  24 cm. 
 - Lecture notes in computer science ;   v. 1071 Lecture notes in artificial intelligence .
 - Lecture notes in computer science ;   v. 1071 Lecture notes in computer science.   Lecture notes in artificial intelligence .
<br/><br/><label>ISBN: </label>3540612084 
<br/><br/><label>Descriptores--Materias: </label><br/>Deducción y prueba de teoremas.<br/>Deduction and theorem proving.<br/>Lógica matemática-Computación.<br/>Mathematical logic-Computation.