Резултати
| Назив: | The Normalization Theorem for Extended Natural Deduction | Аутори: | Borisavljevic, Mirjana   |
Година: | 2017 | Публикација: | Publications de l’Institut Mathematique, | ISSN: | 0350-1302 Publications de l#Institut Mathematique, Beograd Претражи идентификатор |
Тип резултата: | Научни чланак | Колација: | vol. 101 br. 115 str. 75-98 | DOI: | 10.2298/PIM1715075B | WoS-ID: | 000403745800007 | Scopus-ID: | 2-s2.0-85018420451 | URI: | https://enauka.gov.rs/handle/123456789/863736 | Извор метаподатака: | (Preuzeto iz ORCID-a) Borisavljević, Mirjana | М-категорија: | 24M24 - Водећи национални часопис категорије M24 |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.