Pages that link to "Item:Q4227871"
From MaRDI portal
The following pages link to Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic (Q4227871):
Displayed 1 item.
The following pages link to Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic (Q4227871):
Displayed 1 item.