Non contraddizione e terzo escluso : le regole della negazione nella logica classica intuizionista e minimale / di Sergio Galvan. - Galvan, Sergio. (OLS)http://pul/name/36841 (FrancoAngeli, 1997)
Bibliografia in appendice.