Pages that link to "Item:Q1915125"
From MaRDI portal
The following pages link to An algebraic treatment of quantifier-free systems of arithmetic (Q1915125):
Displaying 8 items.
- Affine systems of equations and counting infinitary logic (Q1014638) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Equational fragments of systems for arithmetic. (Q1771883) (← links)
- A bounded arithmetic AID for Frege systems (Q1977488) (← links)
- Hierarchies of Subsystems of Weak Arithmetic (Q3118398) (← links)
- (Q3318774) (← links)
- (Q5127336) (← links)