Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory Lecture Notes in Mathematics, nr. 1104 Editat de M. M. Richter et al. dec 1984 Paperback Preț: 425.75 lei 6-8 săpt.
