Mathematical Logic - Undergraduate Texts in Mathematics - H.-D. Ebbinghaus - Livros - Springer-Verlag New York Inc. - 9780387942582 - 10 de junho de 1994
Caso a capa e o título não sejam correspondentes, considere o título como correto

Mathematical Logic - Undergraduate Texts in Mathematics Second Edition 1994 edition

Preço
R$ 573,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 23 de set - 14 de out
Receba avisos sobre novos lançamentos de H.-D. Ebbinghaus
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Our first goal is Godel's completeness theorem, which shows that the con­ sequence relation coincides with formal provability: By means of a calcu­ lus consisting of simple formal inference rules, one can obtain all conse­ quences of a given axiom system (and in particular, imitate all mathemat­ ical proofs).


301 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 10 de junho de 1994
ISBN13 9780387942582
Editoras Springer-Verlag New York Inc.
Páginas 291
Dimensões 166 × 241 × 21 mm   ·   596 g
Idioma Inglês  

Mais da mesma editora