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):
Displaying 4 items.
- (Q5094147) (← links)
- Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version (Q6156642) (← links)
- An analysis of Tennenbaum's theorem in constructive type theory (Q6563042) (← links)
- Material dialogues for first-order logic in constructive type theory: extended version (Q6646010) (← links)
