Sergio Galvan – Non contraddizione e terzo escluso. Le regole della negazione della logica classica intuizionistica e minimale (1998)
- Categoria: Libreria / Saggistica e Manuali
- Autore:
- Gruppo:
Sergio Galvan – Non contraddizione e terzo escluso. Le regole della negazione della logica classica intuizionistica e minimale (1998) PDF Il volume è dedicato alla presentazione del sistema proposizionale classico, di quello intuizionistico e di quello minimale, vale a dire dei tre sistemi che si