Rezultati
| Naziv: | On the structure of kripke models of heyting arithmetic | Autori: | Marković, Zoran | Godina: | 1993 | Publikacija: | Mathematical Logic Quarterly | ISSN: | 0942-5616 Mathematical Logic Quarterly Pretraži identifikator |
Tip rezultata: | Naučni članak | Kolacija: | vol. 39 br. 1 str. 531-538 | DOI: | 10.1002/malq.19930390154 | Scopus-ID: | 2-s2.0-84981477945 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/1030 https://enauka.gov.rs/handle/123456789/578811 |
M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.