Invited papers presented at the conference on proof theory, provability logic, and computation, 20-24 March 1994, Berne, Switzerland

Author name not available (Why is that?)

Publication date: 20 November 1995

Published in: (Search for Journal in Brave)

No records found.

This page was built for publication: Invited papers presented at the conference on proof theory, provability logic, and computation, 20-24 March 1994, Berne, Switzerland

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