1989 | ||
---|---|---|
1 | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti: Some Results on Intermediate Constructive Logics. Notre Dame Journal of Formal Logic 30(4): 543-562 (1989) |
1 | Pierangelo Miglioli | [1] |
2 | Ugo Moscato | [1] |
3 | Mario Ornaghi | [1] |
4 | Gabriele Usberti | [1] |