| Authors: | Došen, Kosta | Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic | Journal: | Mathematical Logic Quarterly | Volume: | 33 | Issue: | 5 | First page: | 453 | Last page: | 456 | Issue Date: | 1-Jan-1987 | ISSN: | 09425-616 | DOI: | 10.1002/malq.19870330509 | Publisher: | Wiley |
Show full item record
SCOPUSTM
Citations
4
checked on Nov 11, 2024
Page view(s)
13
checked on Nov 11, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.