Резултати

еНаука >  Резултати >  A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic
Назив: A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic
Аутори: Došen, Kosta  
Година: 1987
ISSN: 0942-5616 Mathematical Logic Quarterly Претражи идентификатор
Издавач: Wiley
Тип резултата: Научни чланак
Колација: vol. 33 br. 5 str. 453-456
DOI: 10.1002/malq.19870330509
Scopus-ID: 2-s2.0-84985425959
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/726
https://enauka.gov.rs/handle/123456789/578693
https://plus.cobiss.net/cobiss/sr/sr/bib/521400471#izum.si
М-категорија: 
Мп категорија ће бити приказана накнадно.

4
SCOPUSTM
4
OpenCitations
Алт метрика
Dimensions

Пронађи DOI
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.