Name: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
Brand: Springer
SKU: 9783540139010
Price: 64.47 USD
Availability: InStock
Author: M. M. Richter
ISBN: 9783540139010

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory

$64.47

(No reviews yet) Write a Review

Overview

Book details: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory by author M. M. Richter, Published by Springer, in Paperback or Softback binding, 482 pages, ISBN 9783540139010