É um pacote completo de texto e software que fornece uma introdução autocontida aos conceitos básicos da lógica: linguagem, verdade, argumento, consequência, prova e contraexemplo. O texto não assume qualquer estudo prévio de lógica e é apropriado para cursos introdutórios e avançados de lógica. Instrutores em filosofia, ciência da computação e matemática encontrarão um amplo material para permitir a cobertura de temas específicos a suas disciplinas.