Andrews, P. B.  1937- <br/><br/>
An introduction to mathematical logic and type theory :  To truth through proof / 
Peter b. andrews 
 - 304 páginas 
<br/><br/><label>ISBN: </label>0120585367  (rustica) 0-12-058535-9  (papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica simbólica y matemática
<br/><br/><label>LC Class. No.: </label>QA9  / A53