Logic, Construction, Computation - Ontos Mathematical Logic - - Livros - De Gruyter - 9783110324532 - 20 de julho de 2012
Caso a capa e o título não sejam correspondentes, considere o título como correto

Logic, Construction, Computation - Ontos Mathematical Logic

Preço
€ 204,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 9 - 17 de jun

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

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing. This volume contains 20 articles from experts about developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, and Constructive mathematics.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 20 de julho de 2012
ISBN13 9783110324532
Editoras De Gruyter
Páginas 542
Dimensões 150 × 220 × 20 mm   ·   826 g
Idioma Alemão  
Editor Berger, Ulrich
Editor Diener, Hannes
Editor Schuster, Peter
Editor Seisenberger, Monika

Mere med samme udgiver