Daniele Mundici

Logic A Brief Course

2012

Logica: Metodo Breve

2011

Algebraic foundations of many-valued reasoning

1999

Theorem Proving with Analytic Tableaux and Related Methods

1996