10% OFF
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, September of 2007 ‧
45,96€
10% OFF CARD
free shipping
Sell ​​your book
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

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

Property Description
ISBN: 9780521701464
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: September of 2007
Language: English
Dimensions: 177 x 252 x 19 mm
Cover: Softcover
Pages: 366
Format: Book
Categories: Books in English > Social Sciences and Humanities > Philosophy
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.

PEOPLE WHO BOUGHT ALSO BOUGHT