Types, Tableaus, and Godel’s God - Trends in Logic - M. Fitting - Bøger - Springer - 9789401039123 - 11. oktober 2012
Ved uoverensstemmelse mellem cover og titel gælder titel

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

M. Fitting

Pris
DKK 944

Bestilles fra fjernlager

Forventes klar til forsendelse 13. - 19. nov.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

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

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 11. oktober 2012
ISBN13 9789401039123
Forlag Springer
Antal sider 181
Mål 160 × 240 × 11 mm   ·   285 g
Vis alle

Mere med M. Fitting

Andre har også købt

Se alt med M. Fitting ( f.eks. Hardcover bog og Paperback Bog )