Rezultati

eNauka >  Rezultati >  Equational reformulation of intuitionistic propositional calculus and classical first-order predicate calculus
Naziv: Equational reformulation of intuitionistic propositional calculus and classical first-order predicate calculus
Autori: Boričić, Branislav  
Godina: 1981
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. 29 br. 43 str. 23-28
URI: https://enauka.gov.rs/handle/123456789/780603
Izvor metapodataka: (Preuzeto iz ORCID-a) Boričić, Branislav
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.