Logic and machines:  decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der UniversitÌat Münster/Westfalen/ 
edited by E. Börger, G. Hasenjaeger, and D. Rödding. 
 - Berlin ;  New York:  Springer-Verlag,  1984. 
 - vi, 456 p.:  ill.;  25 cm. 
 - Lecture notes in computer science,  171. .
<br/><br/>Includes bibliographies. 
<br/><br/><label>ISBN: </label>0387133313 (U.S. : pbk.) 
<br/><br/><label>LCCN: </label>84005546 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Machine theory---Congresses.<br/>Computational complexity---Congresses.<br/>Decision-making---Congresses.
<br/><br/><label>Dewey Class. No.: </label>511