Results
| Title: | On the structure of kripke models of heyting arithmetic | Authors: | Marković, Zoran | Issue Date: | 1993 | Publication: | Mathematical Logic Quarterly | ISSN: | 0942-5616 Mathematical Logic Quarterly Search Idenfier |
Type: | Article | Collation: | 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-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.