La lógica matemática tiene estrechas conexiones con las ciencias de la computación.