Results
| Naziv: | A cut-elimination proof in intuitionistic predicate logic | Autori: | Borisavljevic, Mirjana   |
Godina: | 1999 | Publikacija: | Annals of Pure and Applied Logic, 99 , pp. 105-136. | ISSN: | 0168-0072 Annals of Pure and Applied Logic Pretraži identifikator |
Tip rezultata: | Naučni članak | Kolacija: | 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 | Izvor metapodataka: | (Preuzeto iz ORCID-a) Borisavljević, Mirjana | M-kategorija: | 21M21 - Vodeći međunarodni časopis kategorije M21 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.