Results
Title: | Adjunction and Normalization in Categories of Logic | Authors: | Došen, Kosta | Issue Date: | 2015 | Publication: | General Proof Theory - Celebrating 50 Years of Dag Prawitz's ""Natural Deduction""" - | Publisher: | Universitaet Tuebingen, Nemačka | Type: | Conference Paper | URI: | https://enauka.gov.rs/handle/123456789/398190 | URL: | http://ls.informatik.uni-tuebingen.de/GPT/ | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.