Results
| Title: | Higher-level sequent-system for intuitionistic modal logic | Authors: | Došen, Kosta   |
Issue Date: | 1986 | Publication: | Publications de l'Institut Mathématique | ISSN: | 0350-1302 Publications de l#Institut Mathematique, Beograd Search Idenfier |
Publisher: | Belgrade : [Institut Mathématique, Académie serbe des sciences ] | Type: | Article | Collation: | 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-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.