Pages that link to "Item:Q5448843"
From MaRDI portal
The following pages link to An Introduction to Basic Arithmetic (Q5448843):
Displaying 6 items.
- The de Jongh property for basic arithmetic (Q481876) (← links)
- A gentle introduction to Numerica (Q1274762) (← links)
- Proof complexity of substructural logics (Q2032997) (← links)
- Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (Q2074812) (← links)
- A counterexample to polynomially bounded realizability of basic arithmetic (Q2330507) (← links)
- Implication via spacetime (Q2658280) (← links)