Резултати
еНаука >
Резултати >
A decision procedure for certain disjunction-free intermediate propositional calculi
| Назив: | A decision procedure for certain disjunction-free intermediate propositional calculi | Аутори: | Boričić, Branislav   |
Година: | 1983 | Публикација: | Publications de l'Institut Mathématique | ISSN: | 0350-1302 Publications de l#Institut Mathematique, Beograd Претражи идентификатор |
Тип резултата: | Научни чланак | Колација: | vol. 34 br. 48 str. 19-26 | URI: | https://enauka.gov.rs/handle/123456789/780604 | Извор метаподатака: | (Preuzeto iz ORCID-a) Boričić, Branislav | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.