Резултати
Назив: | Adjunction and Normalization in Categories of Logic | Аутори: | Došen, Kosta | Година: | 2015 | Публикација: | General Proof Theory - Celebrating 50 Years of Dag Prawitz's ""Natural Deduction""" - | Издавач: | Universitaet Tuebingen, Nemačka | Тип резултата: | Конференцијски рад | URI: | https://enauka.gov.rs/handle/123456789/398190 | URL: | http://ls.informatik.uni-tuebingen.de/GPT/ | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.