Australasian Association for Logic 30th Anniversary Conference

DOI10.2307/421051zbMath1017.03500OpenAlexW2025982093MaRDI QIDQ4879897

No author found.

Publication date: 28 May 2001

Published in: 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

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

Cites Work

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

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