Pages that link to "Item:Q5565091"
From MaRDI portal
The following pages link to Completeness and Hauptsatz for second order logic1 (Q5565091):
Displaying 5 items.
- Revising Carnap's semantic conception of modality (Q694493) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- Typing and computational properties of lambda expressions (Q1819575) (← links)
- Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic (Q1884882) (← links)
- Did Descartes make a diagonal argument? (Q2121477) (← links)
