Резултати
| Назив: | Lambek's proof theory | Аутори: | Došen, Kosta   |
Година: | 2015 | Публикација: | The Legacy of Joachim Lambek, 15th Congress of Logic, Methodology and Philosophy of Science - | Издавач: | FOLLI, Finska | Тип резултата: | Конференцијски рад | URI: | https://enauka.gov.rs/handle/123456789/289781 | URL: | https://clmps2015.sched.org/event/13d5617e141ccd5598453b761203380e#.VkNaBberRaQ | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.