Results
| Naziv: | The Normalization Theorem for Extended Natural Deduction | Autori: | Borisavljevic, Mirjana   |
Godina: | 2017 | Publikacija: | Publications de l’Institut Mathematique, | ISSN: | 0350-1302 Publications de l#Institut Mathematique, Beograd Pretraži identifikator |
Tip rezultata: | Naučni članak | Kolacija: | 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 | Izvor metapodataka: | (Preuzeto iz ORCID-a) Borisavljević, Mirjana | M-kategorija: | 24M24 - Vodeći nacionalni časopis kategorije M24 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.