Types, Tableaus, and Goedel's God - Trends in Logic - M. Fitting - Books - Springer-Verlag New York Inc. - 9781402006043 - May 31, 2002
In case cover and title do not match, the title is correct

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

Price
CA$ 184.49
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 25 - Sep 10
Get notified about new M. Fitting releases
Add to your iMusic wish list

Not rated yet

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 31, 2002
ISBN13 9781402006043
Publishers Springer-Verlag New York Inc.
Pages 181
Dimensions 155 × 235 × 12 mm   ·   458 g
Language English  

More by M. Fitting

Show all

More from the same publisher