Pages that link to "Item:Q2062200"
From MaRDI portal
The following pages link to On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem (Q2062200):
Displaying 1 item.