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

MaRDI QIDQ798624zbMATH OpenFDO

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
• scientific article; zbMATH DE number 1049165 (Why is no real title available?)
• scientific article; zbMATH DE number 3559485 (Why is no real title available?)
• Normal functors, power series and -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)