Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Livros - Createspace - 9781468059106 - 23 de janeiro de 2012
Caso a capa e o título não sejam correspondentes, considere o título como correto

Implementing Mathematics with the Nuprl Proof Development System

R L Constable

Preço
R$ 115,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 31 de out - 7 de nov
Adicione à sua lista de desejos do iMusic

Implementing Mathematics with the Nuprl Proof Development System

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 23 de janeiro de 2012
ISBN13 9781468059106
Editoras Createspace
Páginas 310
Dimensões 152 × 229 × 17 mm   ·   417 g