Резултати

еНаука >  Резултати >  Suppes–style natural deduction system for classical logic
Назив: Suppes–style natural deduction system for classical logic
Аутори: Boričić, Marija B.  
Година: 2019
Публикација: Logic Colloquium 2019
Издавач: Prague
Тип резултата: Конференцијски рад
URI: https://enauka.gov.rs/handle/123456789/354810
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

Google ScholarTM

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