Logica simbolica
Enciclopedia della Matematica (2013)
logica simbolica
logica simbolica →
logica.