Que son las logicas matematicas?

Lalógica matemáticaes una parte de lalógicay lamatemática, que consiste en el estudiomatemáticode lalógica, y en la aplicación de dicho estudio a otras áreas de lamatemáticay de las ciencias. Lalógica matemáticatiene estrechas conexiones con las ciencias de la computación y lalógicafilosófica.