Results
| Назив: | Cut elimination in adjuncion | Аутори: | Došen, Kosta   |
Година: | 1999 | Публикација: | Bulletin of the Section of Logic (BSL) (Poland) | ISSN: | 0138-0680 Bulletin of the Section of Logic (BSL) (Poland) Претражи идентификатор |
Издавач: | University of Lodz | Тип резултата: | Научни чланак | Колација: | vol. 28 br. 2 str. 61-73 | Scopus-ID: | 2-s2.0-84896522560 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/710 https://enauka.gov.rs/handle/123456789/578678 |
URL: | http://www.mi.sanu.ac.rs/~kosta/Dosen%20radovi/%5BP%5D%5B48%5D%20Cut%20elimination%20in%20adjunction.pdf | М-категорија: | Мп категорија ће бити приказана накнадно. |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.