Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

A Short Introduction to Intuitionistic Logic - University Series in Mathematics 2000 edition

Grigori Mints

Preço

₩ 206.600

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 5 - 11 de ago

O que dizem nossos clientes:

Adicione à sua lista de desejos do iMusic

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

131 pages, biography

Mídia	Livros Hardcover Book (Livro com lombada e capa dura)
Lançado	31 de outubro de 2000
ISBN13	9780306463945
Editoras	Springer Science+Business Media
Páginas	131
Dimensões	155 × 235 × 17 mm · 840 g
Idioma	English