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

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

Grigori Mints

Preço
₩ 220.800
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

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

Também disponível como:

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

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 English