Results
| Title: | On normalization theorem for superintuitionistic logics | Authors: | Boričić, Branislav   |
Issue Date: | 2015 | Publication: | Logic Colloquium 2014, ASL European Summer Meeting | Publisher: | Finska, Helsinki | Type: | Conference Paper | URI: | https://enauka.gov.rs/handle/123456789/229447 | URL: | http://www.helsinki.fi/lc2015/materials/CLMPS_LC_book%20of%20abstracts%2029.7.2015.pdf | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.