Pages that link to "Item:Q2352461"
From MaRDI portal
The following pages link to An alternative normalization of the implicative fragment of classical logic (Q2352461):
Displaying 1 item.
The following pages link to An alternative normalization of the implicative fragment of classical logic (Q2352461):
Displaying 1 item.