Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Part 2: Computation and Proof Theory

M M Richter, W Oberschelp, E Borger (Herausgeber)

Buch | Hardcover

475 Seiten

1984
Springer (Verlag)
978-0-387-13901-2 (ISBN)

Produkt-Details

• Erscheint lt. Verlag: 1.12.1984
• Reihe/Serie: Lecture Notes in Mathematics ; 1104
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-10: 0-387-13901-X / 038713901X
• ISBN-13: 978-0-387-13901-2 / 9780387139012
• Zustand: Neuware