Results
| Title: | 270 Minutes on Categorial Proof Theory | Authors: | Petrić, Zoran   |
Issue Date: | 2015 | Publication: | Zbornik radova - | ISSN: | 0351-9406  Search Idenfier |
Publisher: | Matematički institut SANU | Type: | Book parts | ISBN: | 978-86-80593-57-9 Search Idenfier |
Collation: | br. 18 (26) str. 7-35 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/3732 https://enauka.gov.rs/handle/123456789/345420 |
URL: | http://elib.mi.sanu.ac.rs/files/journals/zr/26/zrn26p7-35.pdf http://elib.mi.sanu.ac.rs/pages/browse_issue.php?db=zr&rbr=26 |
Project: | Representations of logical structures and formal languages and their application in computing | Metadata source: | Migracija | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.