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.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
item.grantfulltextnone-
Show simple item record

SCOPUSTM   
Citations

4
checked on Jul 17, 2024

Page view(s)

25
checked on May 10, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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