Резултати

еНаука >  Резултати >  On sequence-conclusion natural deduction systems
Назив: On sequence-conclusion natural deduction systems
Аутори: Boričić, Branislav  
Година: 1985
Публикација: Journal of Philosophical Logic
ISSN: 0022-3611 Journal of Philosophical Logic Претражи идентификатор
Тип резултата: Научни чланак
Колација: vol. 14 br. 4 str. 359-377
URI: https://enauka.gov.rs/handle/123456789/780467
Извор метаподатака: (Preuzeto iz ORCID-a) Boričić, Branislav
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

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