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)
9780387139012 (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-13: 9780387139012 / 9780387139012
• Zustand: Neuware