Nievergelt, Yves <br/><br/>
Foundations of logic and mathematics : applications to computer science and cryptography 
Yves Nievergelt 
 - Boston  Birkhauser  c2002 
 - xvi, 415 p. : ill. ; 26 cm 
<br/><br/> Includes bibliographical references (p. [399]-404) and index 
<br/><br/><label>ISBN: </label>9780817642495 
<br/><br/><label>ISSN: </label>2001052551 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science - Mathematics<br/>Logic, Symbolic and mathematical<br/>Number theory<br/>Set theory
<br/><br/><label>Dewey Class. No.: </label>511.3 BIR