Computability And Logic
SINOPSE
DETALHES
| 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 |
OPINIÃO DOS LEITORES
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
-
Reason In Human Affairs10%Stanford University Press29,73€ 10% CARTÃOportes grátis
-
A New Introduction To Modal LogicSujeito a confirmação de stock10%TAYLOR & FRANCIS LTD64,88€ 10% CARTÃOportes grátis