A general method of axiomatizing fragments
UESU, Tadahiro
J. Math. Soc. Japan, Tome 43 (1991) no. 4, p. 413-432 / Harvested from Project Euclid
Publié le : 1991-04-15
Classification:  03F07,  03F05,  03F55
@article{1227108221,
     author = {UESU, Tadahiro},
     title = {A general method of axiomatizing fragments},
     journal = {J. Math. Soc. Japan},
     volume = {43},
     number = {4},
     year = {1991},
     pages = { 413-432},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1227108221}
}
UESU, Tadahiro. A general method of axiomatizing fragments. J. Math. Soc. Japan, Tome 43 (1991) no. 4, pp.  413-432. http://gdmltest.u-ga.fr/item/1227108221/