Introduction to Mathematical Logic - Walicki, Michal (University of Bergen, Norway) - Livros - World Scientific Publishing Co Pte Ltd - 9789814343862 - 15 de dezembro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Walicki, Michal (University of Bergen, Norway)
Introduction to Mathematical Logic

Preço
R$ 420,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Walicki, Michal (University of Bergen, Norway)

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

An introduction to mathematical logic. Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic - their syntax, reasoning systems and semantics. It presents soundness and completeness results for Hilbert's and Gentzen's systems, along with simple decidability arguments.

300 pages, illustrations

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 15 de dezembro de 2011
ISBN13 9789814343862
Editoras World Scientific Publishing Co Pte Ltd
Páginas 282
Dimensões 164 × 236 × 20 mm   ·   532 g

Mais da mesma editora

Ver tudo de Walicki, Michal (University of Bergen, Norway)