Australasian Association for Logic 30th Anniversary Conference

DOI10.2307/421051zbMATH Open1017.03500OpenAlexW2025982093MaRDI QIDQ4879897FDOQ4879897

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

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

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)

Cites Work

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

Cited In (2)

• Title not available (Why is that?)
• 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)