10% de desconto

Introduction To Mathematical Logic And Type Theory eBook

To Truth Through Proof

de Peter B. Andrews
idioma: inglês
Editor: SPRINGER NETHERLANDS, abril de 2013 ‧
105,34€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
Providing an introduction to mathematical logic, this work starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, and more. It is of interest to mathematicians, computer scientists, philosophers, and computer scientists.

Introduction To Mathematical Logic And Type Theory

To Truth Through Proof

de Peter B. Andrews

Propriedade Descrição
ISBN: 9789401599344
Editor: SPRINGER NETHERLANDS
Data de Lançamento: abril de 2013
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Applied Logic Series
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
eBooks em Inglês > Literatura > Linguística e Filologia
EAN: 9789401599344

LIVROS DA MESMA COLEÇÃO