✦ LIBER ✦

Equational fragments of systems for arithmetic

✍ Scribed by Franco Montagna, Valeria Sebastiani

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fragments of Heyting Arithmetic

✍ Wolfgang Burr 📂 Article 📅 2000 🏛 Association for Symbolic Logic 🌐 English ⚖ 356 KB

Tractable Fragments of Presburger Arithm

✍ K. Subramani 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 217 KB

Overspill and fragments of arithmetic

✍ C. Dimitracopoulos 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 310 KB

Arithmetical sequences and systems of fu

✍ Lutz G. Lucht 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 654 KB

Arithmetical sequences and systems of fu

✍ Lutz G. Lucht 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 52 KB

Equational classes of Steiner systems

✍ Bernhard Ganter; Heinrich Werner 📂 Article 📅 1975 🏛 Springer 🌐 English ⚖ 750 KB