Description:Da Introdução: O livro aborda o tema de computabilidade, o principal aspecto teórico da computação, através de uma visão de “máquinas”, com apelo forte à intuição do programador. Na primeira parte, a tese de Church é evidenciada através da construção de diversos paradigmas e const