Резултати
eNauka >
Results >
A decision procedure for certain disjunction-free intermediate propositional calculi
| Title: | A decision procedure for certain disjunction-free intermediate propositional calculi | Authors: | Boričić, Branislav   |
Issue Date: | 1983 | Publication: | Publications de l'Institut Mathématique | ISSN: | 0350-1302 Publications de l#Institut Mathematique, Beograd Search Idenfier |
Type: | Article | Collation: | vol. 34 br. 48 str. 19-26 | URI: | https://enauka.gov.rs/handle/123456789/780604 | 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.