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

Tourlakis, George (York University, Toronto)

Preço
R$ 482,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 12 - 18 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Adicione à sua lista de desejos do iMusic

Também disponível como:

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

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   ·   516 g
Idioma English  

Mostrar tudo

Mais por Tourlakis, George (York University, Toronto)