Резултати
| Назив: | On the structure of kripke models of heyting arithmetic | Аутори: | Marković, Zoran | Година: | 1993 | Публикација: | Mathematical Logic Quarterly | ISSN: | 0942-5616 Mathematical Logic Quarterly Претражи идентификатор |
Тип резултата: | Научни чланак | Колација: | 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 |
М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.