scientific article; zbMATH DE number 1014225

MaRDI QIDQ4338042zbMATH OpenFDO

Authors

Publication date 30 June 1997

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0301-toc.htm

zbMATH Keywords

European Summer MeetingHaifa, IsraelLogic ColloquiumSymbolic Logic

Mathematics Subject Classification ID

Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Recommendations

• scientific article; zbMATH DE number 1130213
• scientific article; zbMATH DE number 1083154
• Logic colloquium '95. Invited papers presented in the special sessions on proof theory at the European summer meeting of the Association for Symbolic Logic, Haifa, Israel, August 9--17, 1995
• European Summer Meeting of the Association for Symbolic Logic
• Logic colloquium '95, Haifa, Israel, August 13--16, 1995. Selected papers based on invited talks at the special sessions in recursion theory at the summer meeting of the Association for Symbolic Logic (ASL), August 9--17, 1995
• 1999 European Summer Meeting of the Association for Symbolic Logic
• European Summer Meeting of the Association for Symbolic Logic
• European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
• European Summer Meeting of the Association for Symbolic Logic, Paris, 1985
• European summer meeting of the association for symbolic logic

Cited in

(1)

• Logic colloquium '95, Haifa, Israel, August 13--16, 1995. Selected papers based on invited talks at the special sessions in recursion theory at the summer meeting of the Association for Symbolic Logic (ASL), August 9--17, 1995

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 Q4338042)