Резултати
| Назив: | Two ways of general proof theory | Аутори: | Došen, Kosta |
Година: | 2013 | Публикација: | Second Conference on Proof-Theoretic Semantics | Издавач: | Eberhard Karls Universitaet Tuebingen, Nemačka | Тип резултата: | Конференцијски рад | URI: | https://enauka.gov.rs/handle/123456789/554503 | URL: | http://ls.informatik.uni-tuebingen.de/PTS/pts.htm | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.