Introdução à Lógica - Irving Copi