Results
eNauka >
Results >
Equational reformulation of intuitionistic propositional calculus and classical first-order predicate calculus
| Title: | Equational reformulation of intuitionistic propositional calculus and classical first-order predicate calculus | Authors: | Boričić, Branislav   |
Issue Date: | 1981 | Publication: | Publications de l'Institut Mathématique | ISSN: | 0350-1302 Publications de l#Institut Mathematique, Beograd Search Idenfier |
Type: | Article | Collation: | vol. 29 br. 43 str. 23-28 | URI: | https://enauka.gov.rs/handle/123456789/780603 | 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.