Some results on intermediate constructive logics. Notre Dame (1989)

by P Miglioli, U Moscato, M Ornaghi, S Quazza, G Usberti
Venue:Journal of Formal Logic