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

DOI10.1017/S002248120002747XzbMATH Open0699.03003MaRDI QIDQ3476784FDOQ3476784

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

• Analytic implication
• Title not available (Why is that?)
• Polynomial terse sets
• A modification of Parry's analytic implication
• 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)