Matemática

Introduction To Mathematical Logic And Type Theory

To Truth Through Proof

de Peter B. Andrews 

eBook
Bertrand.pt - Introduction To Mathematical Logic And Type Theory
idioma: Inglês
Editor: SPRINGER NETHERLANDS
Edição: abril de 2013
10%
105,34€
Poupe 10,53€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (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.

Da mesma coleção

ver +
Modern Perspective On Type Theory
10%
10% Cartão Leitor Bertrand
145,09€
Poupe 14,51€
SPRINGER NETHERLANDS
eBook
Hybrid Logic And Its Proof-Theory
10%
10% Cartão Leitor Bertrand
118,59€
Poupe 11,86€
SPRINGER NETHERLANDS
eBook
Introduction To Mathematical Logic And Type Theory
To Truth Through Proof
de Peter B. Andrews 
ISBN:
9789401599344
Ano de edição:
04-2013
Editor:
SPRINGER NETHERLANDS
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Applied Logic Series
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

eBooks  >  eBooks em Inglês  >  Literatura  >  Linguística e Filologia

EAN:
9789401599344
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.