✦ LIBER ✦

Functional synthesis for linear arithmetic and sets

✍ Scribed by Kuncak, Viktor; Mayer, Mikaël; Piskac, Ruzica; Suter, Philippe

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Additive uniqueness sets for arithmetic

✍ Claudia A Spiro 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 616 KB

Arithmetical Sets and Retracing Function

✍ C. E. M. Yates 📂 Article 📅 1967 🏛 John Wiley and Sons 🌐 English ⚖ 730 KB

A functional method for linear sets

✍ R. Kaufman 📂 Article 📅 1967 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 113 KB

A functional method for linear sets II

✍ Robert Kaufman 📂 Article 📅 1970 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 27 KB

A functional method for linear sets, II.

✍ R. Kaufman 📂 Article 📅 1969 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 230 KB

Index Sets Universal for Differences of

✍ Louise Hay 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 813 KB