Rezultati
eNauka >
Rezultati >
A decision procedure for certain disjunction-free intermediate propositional calculi
| Naziv: | A decision procedure for certain disjunction-free intermediate propositional calculi | Autori: | Boričić, Branislav   |
Godina: | 1983 | Publikacija: | Publications de l'Institut Mathématique | ISSN: | 0350-1302 Publications de l#Institut Mathematique, Beograd Pretraži identifikator |
Tip rezultata: | Naučni članak | Kolacija: | vol. 34 br. 48 str. 19-26 | URI: | https://enauka.gov.rs/handle/123456789/780604 | Izvor metapodataka: | (Preuzeto iz ORCID-a) Boričić, Branislav | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.