Kozen, Dexter C. <br/><br/>
The design and analysis of algorithms /    
by Dexter C. Kozen. 
 - New York :   Springer-Verlag,   1992. 
 - x, 320 p: ill. ;  25 cm. 
<br/><br/>Include Index 
<br/><br/><label>ISBN: </label>9780387976877   
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer algorithms
<br/><br/><label>Dewey Class. No.: </label>005.1  / KOZ/T