Pierangelo Miglioli Ugo Moscato Mario Ornaghi Gabriele Usberti A Constructivism Based on Classical Truth. 67-90 1989 30 Notre Dame Journal of Formal Logic 1 db/journals/ndjfl/ndjfl30.html#MiglioliMOU89