A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Livros - Springer-Verlag New York Inc. - 9781475773194 - 26 de abril de 2013
Caso a capa e o título não sejam correspondentes, considere o título como correto

Grigori Mints

A Short Introduction to Intuitionistic Logic - University Series in Mathematics Softcover reprint of the original 1st ed. 2002 edition

Preço
Íkr 21.220,14

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 2 - 10 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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 26 de abril de 2013
ISBN13 9781475773194
Editoras Springer-Verlag New York Inc.
Páginas 131
Dimensões 155 × 235 × 8 mm   ·   231 g
Idioma Inglês