logica matematica

Noun

 * 1)  mathematical logic