| Title | On decidability of a fragment of intuitionistic predicate logic |
|---|---|
| Translation of Title | Apie išsprendžiamą intuicionistinės kvantorinės logikos fragmentą. |
| Authors | Kaušilaitė, Jolanta ; Pliuškevičius, Regimantas Ričardas |
| DOI | 10.15388/LMD.1999.35640 |
| Full Text |
|
| Is Part of | Lietuvos matematikos rinkinys.. Vilnius. 1999, t. 3, p. 317-322.. ISSN 0132-2818 |
| Published | Vilnius |
| Type | Journal article |
| Language | English |
| Publication date | 1999 |
| CC license |
|