Pages that link to "Item:Q1037589"

The following pages link to Commuting conversions vs. the standard conversions of the ``good'' connectives (Q1037589):

Displaying 1 item.

• The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof (Q897484) (← links)