Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics (1104), Band 1104)

Proceedings

von: Michael M. Richter · Egon Börger · Brigitta Schinzel · Walter Oberschelp · Wolfgang Thomas

Taschenbuch

ISBN-13: 978-3-540-13901-0

ISBN-10: 3-540-13901-X

Springer · 2009