Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
- Paperback: 475 pages
- Publisher: Springer; 1 edition (February 22, 2009)
- Language: English
D0wn10ad
Mirr0r
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
No comments:
Post a Comment