Резултати

еНаука >  Резултати >  Boričić, Branislav R. "On certain normalizable natural deduction formulations of some propositional intermediate logics" - Notre Dame J. Formal Logic 29 (1988), no.4, 563-568.
Назив: Boričić, Branislav R. "On certain normalizable natural deduction formulations of some propositional intermediate logics" - Notre Dame J. Formal Logic 29 (1988), no.4, 563-568.
Аутори: Došen, Kosta  
Година: 1990
Публикација: Mathematical Reviews
ISSN: 0025-5629 Претражи идентификатор
Издавач: Providence, Rhode Island : American Mathematical Society
Тип резултата: Информативни прилог
VBS COBISS: 521462679
URI: https://plus.cobiss.net/cobiss/sr/sr/bib/521462679#izum.si
https://enauka.gov.rs/handle/123456789/746869
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

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