Book serie: / Книги серии: Lecture Notes in Mathematics 1104 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Mathematics 1104

book Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

pdf

Author: Klaus Ambos-Spies (auth.) Egon Börger Walter Oberschelp Michael M. Richter Brigitta Schinzel Wolfgang Thomas (eds.)
Language: English
Year: 1984

00

27.01.2024

1

0