Computation and proof theory. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part II

zbMATH Open0547.00036MaRDI QIDQ798624FDOQ798624

Authors:

Publication date: 1984

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

zbMATH Keywords

Proof theoryProceedingsColloquiumComputationAachen/GermanyLogic Colloquium

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Conference proceedings and collections of articles (00Bxx)

Cited In (8)

• Computation theory and logic. (In memory of Dieter Rödding, 1937--1984. On the occasion of the 50th anniversary of his birth)
• Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13--14, 2013
• Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings
• Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Normal functors, power series and \(\lambda\)-calculus
• Logic and Computation

This page was built for publication: Computation and proof theory. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q798624)