✦ LIBER ✦

The decision problem for some finite extensions of the intuitionistic theory of abelian groups

✍ Scribed by Dov M. Gabbay

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The occurrence problem for extensions of

✍ N. S. Romanovskii 📂 Article 📅 1981 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 423 KB

On the homology of free abelianized exte

✍ Rainer Zerck 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 543 KB

The problem of classification of finite-

✍ A. V. Yakovlev 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 406 KB

Calculation of the Gibbs derivatives on

✍ Radomir S. Stankovic; Milena Stankovc 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 715 KB

Finite groups admitting the extensions o

✍ N.S.Narasimha Sastry 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 362 KB

On the undecidability of some classes of

✍ Annalisa Marcja; Mike Prest; Carlo Toffalori 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 508 KB