Kaušilaitė, J., & Pliuškevičius, R. On decidability of a fragment of intuitionistic predicate logic. Vilnius University Press.
Chicago Style (17th ed.) CitationKaušilaitė, Jolanta, and Regimantas Pliuškevičius. On Decidability of a Fragment of Intuitionistic Predicate Logic. Vilnius University Press.
MLA (9th ed.) CitationKaušilaitė, Jolanta, and Regimantas Pliuškevičius. On Decidability of a Fragment of Intuitionistic Predicate Logic. Vilnius University Press.
Warning: These citations may not always be 100% accurate.