Publié le : 1989-09-14
Classification:
03B55,
03F50
@article{1093635238,
author = {Miglioli, Pierangelo and Moscato, Ugo and Ornaghi, Mario and Quazza, Silvia and Usberti, Gabriele},
title = {Some results on intermediate constructive logics.},
journal = {Notre Dame J. Formal Logic},
volume = {30},
number = {2},
year = {1989},
pages = { 543-562},
language = {en},
url = {http://dml.mathdoc.fr/item/1093635238}
}
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Quazza, Silvia; Usberti, Gabriele. Some results on intermediate constructive logics.. Notre Dame J. Formal Logic, Tome 30 (1989) no. 2, pp. 543-562. http://gdmltest.u-ga.fr/item/1093635238/