Rezultati
| Title: | A cut-elimination proof in intuitionistic predicate logic | Authors: | Borisavljevic, Mirjana   |
Issue Date: | 1999 | Publication: | Annals of Pure and Applied Logic, 99 , pp. 105-136. | ISSN: | 0168-0072 Annals of Pure and Applied Logic Search Idenfier |
Type: | Article | Collation: | 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 | Metadata source: | (Preuzeto iz ORCID-a) Borisavljević, Mirjana | M-category: | 21M21 |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.