Types, Tableaus, and Goedel's God - Trends in Logic - M. Fitting - Livros - Springer-Verlag New York Inc. - 9781402006043 - 31 de maio de 2002
Caso a capa e o título não sejam correspondentes, considere o título como correto

Types, Tableaus, and Goedel's God - Trends in Logic 2002 edition

Preço
R$ 708,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 25 de set - 7 de out
Receba avisos sobre novos lançamentos de M. Fitting
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Goedel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Goedel argument is fully formalized.


181 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de maio de 2002
ISBN13 9781402006043
Editoras Springer-Verlag New York Inc.
Páginas 181
Dimensões 155 × 235 × 12 mm   ·   458 g
Idioma Inglês  

Mais por M. Fitting

Mostrar tudo

Mais da mesma editora