Matemática

Basic Proof Theory

de H. Schwichtenberg e A. S. Troelstra 

eBook
Bertrand.pt - Basic Proof Theory
idioma: Inglês
Editor: CAMBRIDGE UNIVERSITY PRESS
Edição: julho de 2000
10%
64,93€
Poupe 6,49€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

Da mesma coleção

ver +
Initial Algebras And Terminal Coalgebras
20%
Topological Duality For Distributive Lattices
20%
portes grátis
20% Cartão Leitor Bertrand
91,93€
Poupe 18,39€
CAMBRIDGE UNIVERSITY PRESS
Basic Proof Theory
de H. Schwichtenberg e A. S. Troelstra 
ISBN:
9781316044537
Ano de edição:
07-2000
Editor:
CAMBRIDGE UNIVERSITY PRESS
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Cambridge Tracts In Theoretical Computer Science
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9781316044537
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.