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

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

by Michael M. Richter (Editor), Wolfgang Thomas (Series Editor), Egon Börger (Series Editor), Brigitta Schinzel (Series Editor), Walter Oberschelp (Series Editor)

$42.21

Save:$1.63 (4%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 488
Edition: 1984
Publisher: Springer
Published: 22 Feb 2009

ISBN 10: 354013901X
ISBN 13: 9783540139010
Book Overview: Springer Book Archives