Rezultati

eNauka >  Rezultati >  Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus
Naziv: Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus
Autori: Došen, Kosta  
Godina: 1991
Publikacija: Notre Dame Journal of Formal Logic
ISSN: 0029-4527 Notre Dame Journal of Formal Logic Pretraži identifikator
Izdavač: Duke University Press
Tip rezultata: Naučni članak
Kolacija: vol. 32 br. 4 str. 580-597
DOI: 10.1305/ndjfl/1093635930
Scopus-ID: 2-s2.0-84972510534
URI: https://plus.cobiss.net/cobiss/sr/sr/bib/521402263#izum.si
https://enauka.gov.rs/handle/123456789/578688
http://researchrepository.mi.sanu.ac.rs/handle/123456789/721
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

1
SCOPUSTM
3
OpenCitations
Alt metrika
Dimensions

Pronađi DOI

Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.