Este libro trata la simbolización, la semántica formal y la teoría de la prueba para cada idioma. La discusión de la semántica formal es más directa que en muchos textos introductorios. El libro está ...Este libro trata la simbolización, la semántica formal y la teoría de la prueba para cada idioma. La discusión de la semántica formal es más directa que en muchos textos introductorios. El libro está diseñado para proporcionar un semestre de material para un curso universitario introductorio. Sería posible utilizar el libro sólo para la lógica sentencial, omitiendo los capítulos 4-5 y partes del capítulo 6.