10% de desconto

Types, Tableaus, And Godel’S God

de M. Fitting
idioma: inglês
Editor: SPRINGER, outubro de 2012 ‧
98,02€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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: 9789401039123
Editor: SPRINGER
Data de Lançamento: outubro de 2012
Idioma: Inglês
Dimensões: 160 x 240 x 11 mm
Encadernação: Capa mole
Páginas: 181
Tipo de produto: Livro
Coleção: Trends In Logic
Classificação Temática: Livros em Inglês > Ciências Sociais e Humanas > Filosofia
EAN: 9789401039123

LIVROS DA MESMA COLEÇÃO