A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Livros - Springer Science+Business Media - 9780306463945 - 31 de outubro de 2000
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Grigori Mints

Preço
Mex$ 2.888,50

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 27 de nov - 5 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
Adicione à sua lista de desejos do iMusic

Também disponível como:

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 Inglês