Резултати

еНаука >  Резултати >  Some preservation results for classical and intuitionistic satisfiability in kripke models
Title: Some preservation results for classical and intuitionistic satisfiability in kripke models
Authors: Marković, Zoran
Issue Date: 1983
Publication: Notre Dame Journal of Formal Logic
ISSN: 0029-4527 Notre Dame Journal of Formal Logic Search Idenfier
Publisher: Duke University Press
Type: Article
Collation: vol. 24 br. 3 str. 395-398
DOI: 10.1305/ndjfl/1093870383
Scopus-ID: 2-s2.0-84972547371
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/1031
https://enauka.gov.rs/handle/123456789/578812
M-category: 
Mp. category will be shown later

4
SCOPUSTM
4
OpenCitations
Алт метрика
Dimensions
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.