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

    M. M. Richter

Click on cover to enlarge.
Buy This Book
From Amazon.
11 - 13Hours to read