Резултати

еНаука >  Резултати >  A sequent calculus for positive relevant logic with necessity
Назив: A sequent calculus for positive relevant logic with necessity
Аутори: Ilić, Mirjana M.  
Година: 2018
Публикација: Conference on Mathematical Logic
Издавач: Niteroi, Brazil
Тип резултата: Конференцијски рад
URI: https://enauka.gov.rs/handle/123456789/374922
URL: http://www.dlmpst.org/pages/activities/icm-2018-satellite.php
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

Google ScholarTM

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