DC FieldValueLanguage
dc.contributor.authorMarković, Zoranen
dc.date.accessioned2020-05-01T20:12:37Z-
dc.date.available2020-05-01T20:12:37Z-
dc.date.issued1983-01-01en
dc.identifier.issn0029-4527en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/1031-
dc.publisherDuke University Press-
dc.relation.ispartofNotre Dame Journal of Formal Logicen
dc.titleSome preservation results for classical and intuitionistic satisfiability in kripke modelsen
dc.typeArticleen
dc.identifier.doi10.1305/ndjfl/1093870383en
dc.identifier.scopus2-s2.0-84972547371en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage395en
dc.relation.lastpage398en
dc.relation.issue3en
dc.relation.volume24en
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.openairetypeArticle-
item.cerifentitytypePublications-
Show simple item record

SCOPUSTM   
Citations

4
checked on Oct 20, 2024

Page view(s)

5
checked on Oct 20, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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