Gentzen method in modal calculi. II
Ohnishi, Masao ; Matsumoto, Kazuo
Osaka Math. J., Tome 11 (1959) no. 1, p. 115-120 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1959-05-15
Classification:  02.00 
@article{1200689632,
     author = {Ohnishi, Masao and Matsumoto, Kazuo},
     title = {Gentzen method in modal calculi. II},
     journal = {Osaka Math. J.},
     volume = {11},
     number = {1},
     year = {1959},
     pages = { 115-120},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1200689632}
}

Ohnishi, Masao; Matsumoto, Kazuo. Gentzen method in modal calculi. II. Osaka Math. J., Tome 11 (1959) no. 1, pp.  115-120. http://gdmltest.u-ga.fr/item/1200689632/