Results

eNauka >  Rezultati >  Some preservation results for classical and intuitionistic satisfiability in kripke models
Naziv: Some preservation results for classical and intuitionistic satisfiability in kripke models
Autori: Marković, Zoran
Godina: 1983
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. 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-kategorija: 
Mp kategorija će biti prikazana naknadno.

4
SCOPUSTM
4
OpenCitations
Altmetric
Dimensions
Unpaywall

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.