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