Rezultati

eNauka >  Rezultati >  Higher-level sequent-system for intuitionistic modal logic
Naziv: Higher-level sequent-system for intuitionistic modal logic
Autori: Došen, Kosta  
Godina: 1986
Publikacija: Publications de l'Institut Mathématique
ISSN: 0350-1302 Publications de l#Institut Mathematique, Beograd Pretraži identifikator
Izdavač: Belgrade : [Institut Mathématique, Académie serbe des sciences ]
Tip rezultata: Naučni članak
Kolacija: vol. 39 br. 53 str. pp. 3-12
VBS COBISS: 521384599
URI: https://plus.cobiss.net/cobiss/sr/sr/bib/521384599#izum.si
https://enauka.gov.rs/handle/123456789/719963
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.