10% de desconto
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, setembro de 2007 ‧
45,96€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This fifth edition was first published in 2007.

Computability And Logic

de Richard C. Jeffrey, John P. (Princeton University, New Jersey) Burgess e George S. Boolos

Propriedade Descrição
ISBN: 9780521701464
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: setembro de 2007
Idioma: Inglês
Dimensões: 177 x 252 x 19 mm
Encadernação: Capa mole
Páginas: 366
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Ciências Sociais e Humanas > Filosofia
EAN: 9780521701464

Computability and Logic

João F. N.

Ainda hoje incontornavel no estudo da Lógica, da Matemática e da Ciência da Computação, esta obra, escrita por dois dos mais conceituados na área da Filosofia da Ciência, contém, além do necessário para uma optima introdução à Metamatemática e à Ciencia da Computação, vários artigos sobre Lógica Matemática - indo desde o cálculo de primeira-ordem, passando pelo de segunda-ordem, até à conhecida aplicação da lógica modal que Boolos fez. Recomendada, por todo o mundo, nos cursos das áreas supre-referidas, pelas melhores universidades.

QUEM COMPROU TAMBÉM COMPROU