Results
| Title: | Natural deduction for RW+o | Authors: | Isaković-Ilić, Mirjana   |
Issue Date: | 2016 | Publication: | Colloquium Logicum 2016 | Publisher: | Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG), Nemačka | Type: | Conference Paper | URI: | https://enauka.gov.rs/handle/123456789/452555 | URL: | http://www.math.uni-hamburg.de/spag/ml/CL2016 | 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.