1992 Annual Meeting of the Australasian Association for Logic

DOI10.2307/2275163zbMath0794.03003OpenAlexW2036086613MaRDI QIDQ4283078

No author found.

Publication date: 12 April 1994

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

Full work available at URL: https://doi.org/10.2307/2275163

zbMATH Keywords

MeetingLogicAustralasian Association for LogicCanberra, Australia

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• The fundamental S-theorem - A corollary
• Minimally inconsistent LP
• Preface for Studia Logica special issue (2)

This page was built for publication: 1992 Annual Meeting of the Australasian Association for Logic