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

DOI10.1017/S002248120002747XzbMath0699.03003MaRDI QIDQ3476784

No author found.

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

• Analytic implication
• Polynomial terse sets
• The published work of Kurt Goedel: An annotated bibliography
• A modification of Parry's analytic implication
• Unnamed Item

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