cod. 490.55
LIBRI DI SERGIO GALVAN
cod. 490.35
cod. 490.33
Logiche intensionali
Sistemi proposizionali di logica modale, deontica, epistemica
cod. 490.27
cod. 490.8
Non contraddizione e terzo escluso
Le regole della negazione nella logica classica, intuizionistica e minimale
cod. 490.61