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