Australasian Association for Logic 30th Anniversary Conference

DOI10.2307/421051MaRDI QIDQ4879897zbMATH OpenOpenAlexFDO

Authors

Publication date 28 May 2001

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

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

zbMATH Keywords

ConferenceLogicArmidale/Australia

Mathematics Subject Classification ID

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

Recommendations

• Australasian Association for Logic 29th Annual Conference
• Australasian Association for Logic 31st Annual Conference
• Annual Meeting of the Australasian Association for Logic
• THE ANNUAL CONFERENCE OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Wollongong, Australia July 12, 2019
• 2003 Annual Conference of the Australasian Association for Logic
• 1992 Annual Meeting of the Australasian Association for Logic
• Australasian Association for Logic 2000 Annual Conference, co-sponsored by the Association for Symbolic Logic, The University of the Sunshine Coast, June 29-July 2, 2000
• 2002 Annual Conference of the Australasian Association for Logic
• Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic
• 1990 Annual meeting of the australasian association for logic

Cites work

• Inconsistent models for relevant arithmetics
• New axiomatics for relevant logics. I

Cited in

(2)

• scientific article; zbMATH DE number 823589 (Why is no real title available?)
• Australasian Association for Logic 31st Annual Conference

This page was built for publication: Australasian Association for Logic 30th Anniversary Conference

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