Pages that link to "Item:Q1406364"
From MaRDI portal
The following pages link to Predicate logics of decidable fragments of arithmetic (Q1406364):
Displaying 7 items.
- A note on definability in fragments of arithmetic with free unary predicates (Q365661) (← links)
- Tractable fragments of Presburger arithmetic (Q814932) (← links)
- Quantified propositional calculi and fragments of bounded arithmetic (Q3472099) (← links)
- (Q3679154) (← links)
- (Q3760514) (← links)
- Predicative Fragments of Frege Arithmetic (Q4678937) (← links)
- Predicative logic and formal arithmetic (Q5937804) (← links)