✦ LIBER ✦

A new decision method for elementary algebra

✍ Scribed by Seidenberg A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A New Decision Method for Elementary Alg

✍ A. Seidenberg 📂 Article 📅 1954 🏛 John Hopkins University Press 🌐 English ⚖ 952 KB

Decision method for elementary algebra

✍ Seidenberg A. 📂 Library 📅 1954 🌐 English ⚖ 169 KB

Decision Methods for Elementary Algebra

✍ B. E. Meserve 📂 Article 📅 1955 🏛 Mathematical Association of America 🌐 English ⚖ 822 KB

A Decision Method for Elementary Algebra

✍ Review by: Leon Henkin 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 213 KB

(1) Elementary Algebra—A School Course (

📂 Article 📅 1908 🏛 Nature Publishing Group 🌐 English ⚖ 221 KB

Decision Methods for Elementary Algebrab

✍ Review by: Abraham Robinson 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 189 KB