From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics - Oxford Logic Guides - Laura Crosilla - Livros - Oxford University Press - 9780198566519 - 6 de outubro de 2005
Caso a capa e o título não sejam correspondentes, considere o título como correto

From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics - Oxford Logic Guides

Preço
R$ 1.633,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 12 de out
Receba avisos sobre novos lançamentos de Laura Crosilla
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians, mathematicians, philosophers and computer scientists. Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.


372 pages, numerous line drawings and mathematical examples

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 6 de outubro de 2005
ISBN13 9780198566519
Editoras Oxford University Press
Páginas 372
Dimensões 163 × 243 × 26 mm   ·   688 g
Idioma Inglês  
Editor Crosilla, Laura (Universite di Firenze)
Editor Schuster, Peter (Mathematical Institut, Universitaet Munich)

Mais da mesma editora