Austrian Post 5.99 DPD courier 6.49 GLS courier 4.49

Types, Tableaus, and Goedel's God

Language EnglishEnglish
Book Hardback
Book Types, Tableaus, and Goedel's God Melvin Fitting
Libristo code: 08348590
Publishers Springer-Verlag New York Inc., May 2002
Godel's modal ontological argument is the centerpiece of an extensive examination of intensional log...
? points 317 b
134.22 včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy


You might also be interested in


Our Entwined Lifelines Teejay LeCapois / Paperback
common.buy 24.72
Other Shores Elaine L Wilson / Paperback
common.buy 17.54
Boy Ranchers Among the Indians Willard F Baker / Paperback
common.buy 15.08
Difference John Vizzuso / Paperback
common.buy 16.90
SIR BROOK FOSSBROOKE: A NOVEL CHARLES JAMES LEVER / Hardback
common.buy 46.45
Entirely Avoidable Insanity Vol 3 S. Kadison / Paperback
common.buy 21.72
Democracy Begins with Two Luce Irigaray / Hardback
common.buy 276.05

Godel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. This title presents classical type theory, introduces tableau rules for it and gives the proof of Prawitz/Takahashi.

About the book

Full name Types, Tableaus, and Goedel's God
Language English
Binding Book - Hardback
Date of issue 2002
Number of pages 181
EAN 9781402006043
ISBN 9781402006043
Libristo code 08348590
Weight 461
Dimensions 155 x 235 x 16
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account