Este livro é dirigido especialmente a estudantes do ensino médio e dos cursos de licenciatura em Matemática, Informática, Engenharia e Filosofia. Ele apresenta uma iniciação ao tema da lógica e da aritmética, com uma série de exercícios e suas respectivas.