Handbook of Proof Theory - Studies in Logic and the Foundations of Mathematics - Samuel R Buss - Livros - Elsevier Science & Technology - 9780444898401 - 9 de julho de 1998
Caso a capa e o título não sejam correspondentes, considere o título como correto

Handbook of Proof Theory - Studies in Logic and the Foundations of Mathematics

Samuel R Buss

Preço
₩ 301.000
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 8 de ago
Adicione à sua lista de desejos do iMusic

Handbook of Proof Theory - Studies in Logic and the Foundations of Mathematics

Contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. This book includes the central topics of proof theory. It concludes with articles that deal with topics closely related to computer science.


810 pages

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 9 de julho de 1998
ISBN13 9780444898401
Editoras Elsevier Science & Technology
Páginas 810
Dimensões 156 × 234 × 43 mm   ·   1,32 kg
Editor Buss, S.R. (Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA, USA)