Pages that link to "Item:Q2177578"
From MaRDI portal
The following pages link to Completeness theorems for first-order logic analysed in constructive type theory (Q2177578):
Displayed 4 items.
The following pages link to Completeness theorems for first-order logic analysed in constructive type theory (Q2177578):
Displayed 4 items.