1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics)

Home » 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics)

Showing posts with label 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics). Show all posts

Showing posts with label 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics). Show all posts

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

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

Raymie Nightingale Kate DiCamillo 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...

Subscribe to: Posts (Atom)