Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Cambridge Studies in Advanced Mathematics - Tourlakis, George (York University, Toronto) - Livros - Cambridge University Press - 9780521168465 - 9 de setembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Cambridge Studies in Advanced Mathematics

Preço
€ 77,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 11 - 19 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
Adicione à sua lista de desejos do iMusic

Também disponível como:

This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.


342 pages, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 9 de setembro de 2010
ISBN13 9780521168465
Editoras Cambridge University Press
Páginas 342
Dimensões 229 × 154 × 28 mm   ·   556 g
Idioma Inglês  

Mostrar tudo

Mais por Tourlakis, George (York University, Toronto)