Pages that link to "Item:Q2946724"
From MaRDI portal
The following pages link to Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators (Q2946724):
Displaying 1 item.