Hamilton, A. G. <br/><br/>
Logic for mathematicians 

 - Rev. ed., repr. 
 - Cambridge :   Cambridge University Press,  2000 
 - viii, 228 p.  ;  23 cm. 
<br/><br/> Incluye ejercicios, lecturas adicionales y glosario de símbolos. -- 
<br/><br/>Informal statement calculus -- Formal statement calculus -- Informal predicate calculus -- Formal predicate calculus -- Mathematical systems -- The Gödel incompleteness theorem -- Computability, unsolvability, undecidability 
<br/><br/><label>ISBN: </label>0521368650 
<br/><br/><label>Standard No.: </label>DIF001528 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA MATEMÁTICA