Minha sacola

    HISTORY AND PHILOSOPHY OF CONSTRUCTIVE TYPE THEORY

    Favoritar
    Ref:
    637461

    De: R$ 4.259,01Por: R$ 2.981,31ou X de

    Economia de R$ 1.277,70

    Comprar

    Calcule o frete:

    Para envios internacionais, simule o frete no carrinho de compras.

    Calcule o valor do frete e prazo de entrega para a sua região

    Editora
    ISBN
    Páginas
    Idioma
    Peso
    Acabamento

    Sinopse

    A comprehensive survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Lof at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.

    Ficha Técnica

    Especificações

    ISBN9780792361800
    Pré vendaNão
    Peso411g
    Autor para link
    Livro disponível - pronta entregaNão
    Dimensões23 x 16 x 1
    IdiomaInglês
    Tipo itemLivro Importado
    Número de páginas368
    Número da edição1ª EDIÇÃO - 2000
    Código Interno637461
    Código de barras9780792361800
    AcabamentoHARDCOVER
    AutorSOMMARUGA, GIOVANNI
    EditoraKLUWER ACADEMIC PUBLISHER
    Sob encomendaSim

    Conheça outros títulos da coleção

      Este livro é vendido

      SOB ENCOMENDA

      Prazo estimado para disponibilidade em estoque: dias úteis

      (Sujeito aos estoques de nossos fornecedores)

      +

      Prazo do frete selecionado.

      (Veja o prazo total na sacola de compras)

      Comprar