Types, Tableaus, and Godel’s God (Bog, Paperback / softback, Engelsk) af M. Fitting

Types, Tableaus, and Godel’s God

(Bog, Paperback / softback, Engelsk)
Forfatter: M. Fitting



Forlag: Springer

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer
Forfatter M. Fitting
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of the original 1st ed. 2002
Udgivelsesdato 11-10-2012
Første udgivelsesår 2012
Serie Trends in Logic
Illustrationer XV, 181 p.
Originalsprog Netherlands
Sideantal 181
Indbinding Paperback / softback
Forlag Springer
Sideoplysninger 181 pages, XV, 181 p.
Mål 240 x 160
ISBN-13 / EAN-13 9789401039123