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)
von:
Michael M. Richter
·
Egon Börger
· Brigitta Schinzel ·
Walter Oberschelp
·
Wolfgang Thomas
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-13901-0
ISBN-10: 3-540-13901-X
Springer
· 2009