DC FieldValueLanguage
dc.contributor.authorDošen, Kostaen
dc.date.accessioned2020-04-27T10:33:34Z-
dc.date.available2020-04-27T10:33:34Z-
dc.date.issued1987-01-01en
dc.identifier.issn09425-616en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/726-
dc.publisherWiley-
dc.relation.ispartofMathematical Logic Quarterlyen
dc.titleA Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logicen
dc.typeArticleen
dc.identifier.doi10.1002/malq.19870330509en
dc.identifier.scopus2-s2.0-84985425959en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage453en
dc.relation.lastpage456en
dc.relation.issue5en
dc.relation.volume33en
item.grantfulltextnone-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
Show simple item record

SCOPUSTM   
Citations

4
checked on Apr 15, 2025

Page view(s)

18
checked on Jan 31, 2025

Google ScholarTM

Check

Altmetric

Altmetric


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