1996 | ||
---|---|---|
1 | Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani, Pierangelo Miglioli: On maximal intermediate predicate constructive logics. Studia Logica 57(2/3): 373-408 (1996) |
1 | Alessandro Avellone | [1] |
2 | Camillo Fiorentini | [1] |
3 | Pierangelo Miglioli | [1] |