Proof Theory

de Takeuti Takeuti e Ya S Dubnov
idioma: inglês
Editor: DOVER PUBLICATIONS INC., março de 2013 ‧
27,03€
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents an overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. Reprint of the North Holland, Amsterdam, 1987 edition.

Proof Theory

de Takeuti Takeuti e Ya S Dubnov

Propriedade Descrição
ISBN: 9780486490731
Editor: DOVER PUBLICATIONS INC.
Data de Lançamento: março de 2013
Idioma: Inglês
Encadernação: Capa mole
Páginas: 384
Tipo de produto: Livro
Coleção: Mastermind Collection
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Outros
EAN: 9780486490731

LIVROS DA MESMA COLEÇÃO