Download Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics) Audio CD
Add Comment
1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics),
July 18-23,
Proceedings of the Logic Colloquium. Held in Aachen
Edit
Download Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Math...
Read More