Results
| Title: | Natural deduction versus sequent lambda calculus | Authors: | Ghilezan, Silvia   |
Issue Date: | 1997 | Publication: | 3rd Barcelona Logic Meeting, Barcelona, Spain (1997) | Type: | Conference Paper | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/5160 https://enauka.gov.rs/handle/123456789/930874 |
M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.