Neste livro é apresentada uma teoria para tratar certos tipos de problemas lógicos, tanto relativos a circuitos, como também ligados à linguagem e à Lógica clássica, através de métodos numéricos originais, apropriados para a programação em computadores. O campo de aplicação desta teoria é abrangente, indo desde a análise e o projeto de circuitos até a dedução em Lógica e a Pesquisa Operacional.