scientific article
From MaRDI portal
Publication:3356293
zbMath0731.03015MaRDI QIDQ3356293
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
axiomatizationsrelevant implicationAckermann's strict implicationrelevant implication plus S4-type modality
This page was built for publication: