Pages that link to "Item:Q3987717"
From MaRDI portal
The following pages link to First-order theories without axioms (Q3987717):
Displaying 7 items.
- The road to two theorems of logic (Q1024115) (← links)
- A first-order logic with no logical constants (Q1263571) (← links)
- Early examples of resource-consciousness (Q1876091) (← links)
- Detection of First Order Axiomatic Theories (Q2849492) (← links)
- A Consistent Higher-Order Theory Without a (Higher-Order) Model (Q3486538) (← links)
- On Formally Measuring and Eliminating Extraneous Notions in Proofs (Q3639197) (← links)
- On first-order sentences without finite models (Q5311726) (← links)