Results
| Title: | Intuitionistic logic in categorial proof theory | Authors: | Došen, Kosta   |
Issue Date: | 2013 | Publication: | International Conference Constructive Mathematics: Foundations and Practice | Publisher: | Univerzitet u Nišu, Srbija | Type: | Conference Paper | URI: | https://enauka.gov.rs/handle/123456789/390879 | URL: | http://www.masfak.ni.ac.rs/cmfp2013/Invited_Speakers.html | 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.