Pages that link to "Item:Q3682469"
From MaRDI portal
The following pages link to Strong Completeness of a Pure Free Logic (Q3682469):
Displaying 5 items.
- A theory of strict P-completeness (Q1337145) (← links)
- Truth-value semantics for a logic of existence (Q2534160) (← links)
- Semantic Completeness of Free-Variable Theories (Q3754616) (← links)
- PURE LOGIC OF ITERATED FULL GROUND (Q4961738) (← links)
- Programming Languages and Systems (Q5308686) (← links)