Types, Tableaus, and Godel’s God - Trends in Logic - M. Fitting - Books - Springer - 9789401039123 - October 11, 2012
In case cover and title do not match, the title is correct

M. Fitting
Types, Tableaus, and Godel’s God - Trends in Logic Softcover reprint of the original 1st ed. 2002 edition

Price
$ 116.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

196 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 11, 2012
ISBN13 9789401039123
Publishers Springer
Pages 181
Dimensions 160 × 240 × 11 mm   ·   285 g

More by M. Fitting

Show all

Mere med samme udgiver

See all of M. Fitting ( e.g. Hardcover Book and Paperback Book )