Um clássico livro de popularização da ciência que ainda hoje conserva sua vitalidade original e satisfaz as intenções de seu autor: propiciar ao leitor comum a compreensão dos métodos e objetivos da lógica matemática fazer com que a lógica auxilie a filosofia a enfrentar questões que lhe são próprias. De modo brilhantemente conciso e com enorme poder de argumentação, Bertrand Russell nos oferece uma introdução acessível e clara ao mundo altamente abstrato da lógica formal e aos fundamentos da m atemática. Publicado pela primeira vez no Brasil pela Zahar Editores, em 1981, essa nova edição é um fascinante documento histórico a respeito da ascensão da lógica formal como modo de conhecer o mundo.