Pages that link to "Item:Q636314"
From MaRDI portal
The following pages link to An arithmetical view to first-order logic (Q636314):
Displaying 5 items.
- Arithmetic based on the Church numerals in illative combinatory logic (Q1115414) (← links)
- An arithmetical hierarchy in propositional dynamic logic (Q1119628) (← links)
- Positive Arithmetic Without Exchange Is a Subclassical Logic (Q3498443) (← links)
- Arithmetic Formulated in a Logic of Meaning Containment (Q5019130) (← links)
- (Q5691117) (← links)