Peter A Fejer, Dan a Simovici <br/><br/>
Mathematical foundations of computer science : vol I : sets relations and induction 

 - Springer - Verlag, New York  c1991 
 - x,428p 
<br/><br/><label>ISBN: </label>0-387-97450-4 
<br/><br/><label>Subjects--Facted Index Terms: </label><br/>Computer Science
<br/><br/><label>Dewey Class. No.: </label>519.4 Fej/Sim