Meeting of the Association for Symbolic Logic, Sydney, 1984

DOI10.2307/2274080zbMath0619.03002OpenAlexW4245659103MaRDI QIDQ3755419

No author found.

Publication date: 1986

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

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

zbMATH Keywords

MeetingSydneySymbolic logic

Mathematics Subject Classification ID

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

Related Items (1)

Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5

This page was built for publication: Meeting of the Association for Symbolic Logic, Sydney, 1984