Lógica Moderna

Sinopsis

Un texto que introduce la lógica de primer orden y de orden superior, la teoría de conjuntos, y aborda la notación y los métodos de la lógica simbólica de forma sistemática y rigurosa.