10% de desconto

Types, Tableaus, And Godel'S God eBook

de M. Fitting
idioma: inglês
Editor: SPRINGER NETHERLANDS, dezembro de 2012 ‧
127,86€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
Gödel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. A reader interested in (modal) type theory can safelyskip ontological issues, just as one interested in Gödel's argument can omit the more mathematical portions, such as the completeness proof for tableaus.

Types, Tableaus, And Godel'S God

de M. Fitting

Propriedade Descrição
ISBN: 9789401004114
Editor: SPRINGER NETHERLANDS
Data de Lançamento: dezembro de 2012
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Trends In Logic
Classificação Temática: eBooks em Inglês > Ciências Sociais e Humanas > Filosofia
EAN: 9789401004114

LIVROS DA MESMA COLEÇÃO