Резултати
| Назив: | A cut-elimination proof in intuitionistic predicate logic | Аутори: | Borisavljevic, Mirjana   |
Година: | 1999 | Публикација: | Annals of Pure and Applied Logic, 99 , pp. 105-136. | ISSN: | 0168-0072 Annals of Pure and Applied Logic Претражи идентификатор |
Тип резултата: | Научни чланак | Колација: | vol. 99 br. 1-3 str. 105-136 | DOI: | 10.1016/S0168-0072(98)00062-1 | WoS-ID: | 000082324200005 | Scopus-ID: | 2-s2.0-0033620999 | URI: | https://enauka.gov.rs/handle/123456789/863743 | Извор метаподатака: | (Preuzeto iz ORCID-a) Borisavljević, Mirjana | М-категорија: | 21M21 - Водећи међународни часопис категорије M21 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.