Hedman, Shawn <br/><br/>
A first course in logic  an introduction to model theory, proof theory, computability, and complexity /  [recurso electrónico] : 
Shawn Hedman 
 - Oxford :  Oxford University,  2004 
 - xx, 431 p. :  il. 
 - Oxford texts in logic ;  1 .
<br/><br/> Acceso sólo para usuarios de REDUNAM 
<br/><br/>
<br/><br/><br/>Reproducción electrónica. <br/>Boulder, Colorado : <br/>NetLibrary, <br/>2006 
<br/><br/><label>ISBN: </label>142377079X (libro electrónico) 9781423770794 (libro electrónico) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica<br/>Lógica simbólica y matemática
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Libros electrónicos.
<br/><br/><label>LC Class. No.: </label>QA9  / H36 2004le 
<br/><br/><label>Dewey Class. No.: </label>160