Резултати

еНаука >  Резултати >  Cut elimination in adjunction
Назив: Cut elimination in adjunction
Аутори: Došen, Kosta  
Година: 1999
Публикација: The Bulletin of Section of Logic
ISSN: 0138-0680 Bulletin of the Section of Logic (BSL) (Poland) Претражи идентификатор
Издавач: Lodz : 8 Marca 8
Тип резултата: Научни чланак
Колација: vol. 28 br. No. 2 str. 61-73
VBS COBISS: 521537943
URI: https://plus.cobiss.net/cobiss/sr/sr/bib/521537943#izum.si
https://enauka.gov.rs/handle/123456789/720133
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

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