Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988

DOI10.1017/S002248120002747XMaRDI QIDQ3476784zbMATH OpenFDO

Authors

Publication date 1989

Published in Journal of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

MeetingSymbolic LogicEast Lansing/Michigan (USA)

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites work

• scientific article; zbMATH DE number 4021069 (Why is no real title available?)
• A modification of Parry's analytic implication
• Analytic implication
• Polynomial terse sets
• The published work of Kurt Goedel: An annotated bibliography

This page was built for publication: Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988

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