Symposium on "Rekursive Kombinatorik" ( 1983  Westfalen) <br/><br/>
Logic and machines : decision problems and complexity /ed. by E. Borger, G. Hasenjaeger and D. Rodding 

 - Berlin  Springer-Verlag  1984 
 - iv, 456p. 
 - Lecture Notes in Computer Science, 171. .
<br/><br/><label>ISBN: </label>3540133313 
<br/><br/><label>Dewey Class. No.: </label>511  / N84