10% de desconto

Semantics Of Type Theory eBook

Correctness, Completeness And Independence Results

de T. Streicher
idioma: inglês
Editor: BIRKHAUSER BOSTON, dezembro de 2012 ‧
98,71€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
Correctness Completeness and Independence Results.

Semantics Of Type Theory

Correctness, Completeness And Independence Results

de T. Streicher

Propriedade Descrição
ISBN: 9781461204336
Editor: BIRKHAUSER BOSTON
Data de Lançamento: dezembro de 2012
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Progress In Theoretical Computer Science
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9781461204336

LIVROS DA MESMA COLEÇÃO