| 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 Mar 13, 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.