Computation and proof theory :  proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II / 
edited by M.M. Richter ... [et al.] 
 - Berlin :  Springer-Verlag,  1984 
 - 475p. 
 - Lecture notes in mathematics ;  1104 .
 - Lecture notes in mathematics (Springer-Verlag) ;  1104 .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.