Резултати

еНаука >  Резултати >  Higher-level sequent-system for intuitionistic modal logic
Назив: Higher-level sequent-system for intuitionistic modal logic
Аутори: Došen, Kosta  
Година: 1986
Публикација: Publications de l'Institut Mathématique
ISSN: 0350-1302 Publications de l#Institut Mathematique, Beograd Претражи идентификатор
Издавач: Belgrade : [Institut Mathématique, Académie serbe des sciences ]
Тип резултата: Научни чланак
Колација: vol. 39 br. 53 str. pp. 3-12
VBS COBISS: 521384599
URI: https://plus.cobiss.net/cobiss/sr/sr/bib/521384599#izum.si
https://enauka.gov.rs/handle/123456789/719963
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

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