Results
| Title: | On sequence-conclusion natural deduction systems | Authors: | Boričić, Branislav   |
Issue Date: | 1985 | Publication: | Journal of Philosophical Logic | ISSN: | 0022-3611 Journal of Philosophical Logic Search Idenfier |
Type: | Article | Collation: | vol. 14 br. 4 str. 359-377 | URI: | https://enauka.gov.rs/handle/123456789/780467 | Metadata source: | (Preuzeto iz ORCID-a) Boričić, Branislav | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.