Proof Analysis: A Contribution to Hilbert's Last Problem - Negri, Sara (University of Helsinki) - Livros - Cambridge University Press - 9781107417236 - 12 de junho de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

Proof Analysis: A Contribution to Hilbert's Last Problem

Negri, Sara (University of Helsinki)

Preço
€ 54,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 9 - 18 de set
Adicione à sua lista de desejos do iMusic

Também disponível como:

Proof Analysis: A Contribution to Hilbert's Last Problem

A continuation of the authors' book Structural Proof Theory, one of the basic sources for all students and researchers on logic. Presents a way of extending the proof theory of pure logic to cover mathematical axiomatic theories and systems of philosophical logic.


278 pages, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 12 de junho de 2014
ISBN13 9781107417236
Editoras Cambridge University Press
Páginas 278
Dimensões 172 × 246 × 18 mm   ·   472 g
Idioma English  

Mostrar tudo

Mais por Negri, Sara (University of Helsinki)