Structural Proof Theory - Negri, Sara (University of Helsinki) - Livros - Cambridge University Press - 9780521068420 - 10 de julho de 2008
Caso a capa e o título não sejam correspondentes, considere o título como correto

Structural Proof Theory

Negri, Sara (University of Helsinki)

Preço
₪ 256,52

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:

Structural Proof Theory

Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively.


276 pages, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 10 de julho de 2008
ISBN13 9780521068420
Editoras Cambridge University Press
Páginas 276
Dimensões 229 × 155 × 18 mm   ·   416 g
Idioma English  

Mostrar tudo

Mais por Negri, Sara (University of Helsinki)