Types, Tableaus, and Goedel's God - Trends in Logic - M. Fitting - Libros - Springer-Verlag New York Inc. - 9781402006043 - 31 de mayo de 2002
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 131,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 de jul.
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de mayo de 2002
ISBN13 9781402006043
Editores Springer-Verlag New York Inc.
Páginas 181
Dimensiones 155 × 235 × 12 mm   ·   458 g
Lengua Inglés  

Mas por M. Fitting

Mostrar todo

Mere med samme udgiver