Rezultati
| Naziv: | On normalization theorem for superintuitionistic logics | Autori: | Boričić, Branislav   |
Godina: | 2015 | Publikacija: | Logic Colloquium 2014, ASL European Summer Meeting | Izdavač: | Finska, Helsinki | Tip rezultata: | Konferencijski rad | URI: | https://enauka.gov.rs/handle/123456789/229447 | URL: | http://www.helsinki.fi/lc2015/materials/CLMPS_LC_book%20of%20abstracts%2029.7.2015.pdf | Izvor metapodataka: | Migrirano iz RIS podataka | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.