Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library - P. Fletcher - Livros - Springer - 9780792352624 - 31 de outubro de 1998
Caso a capa e o título não sejam correspondentes, considere o título como correto

Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library 1998 edition

P. Fletcher

Preço
€ 194,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 18 - 27 de ago
Adicione à sua lista de desejos do iMusic

Também disponível como:

Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library 1998 edition

Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it.


470 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de outubro de 1998
ISBN13 9780792352624
Editoras Springer
Páginas 470
Dimensões 156 × 234 × 26 mm   ·   834 g
Idioma English