scientific article; zbMATH DE number 862427

MaRDI QIDQ4871627zbMATH OpenFDO

Authors

Publication date 31 March 1996

zbMATH Keywords

Logic colloquiumProceedingsVeszprém (Hungary)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cited in

(4)

• Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings
• Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
• scientific article; zbMATH DE number 49239 (Why is no real title available?)
• European summer meeting of the Association for Symbolic Logic

This page was built for publication:

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