SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

M. Fitting | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 10 tuotetta
Haluatko tarkentaa hakukriteerejä?



Types, Tableaus, and Gödel’s God
M. Fitting
Springer-Verlag New York Inc. (2002)
Kovakantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Proof Methods for Modal and Intuitionistic Logics
M. Fitting
Springer (1983)
Kovakantinen kirja
179,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
First-Order Modal Logic
M. Fitting; Richard L. Mendelsohn
Springer (1998)
Kovakantinen kirja
196,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
First-Order Modal Logic
M. Fitting; Richard L. Mendelsohn
Springer (1999)
Pehmeäkantinen kirja
205,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Set Theory and the Continuum Problem
Raymond M Smullyan; Melvin Fitting
Dover Publications (2010)
Pehmeäkantinen kirja
44,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Proof Methods for Modal and Intuitionistic Logics
M. Fitting
Springer (2010)
Pehmeäkantinen kirja
179,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Alice in Puzzle-Land - A Carrollian Tale for Children Under Eighty
Greer Fitting; Jeff A. Menges; Raymond M. Smullyan
Dover Publications Inc. (2012)
Pehmeäkantinen kirja
12,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Types, Tableaus, and Gödel’s God
M. Fitting
Springer (2012)
Pehmeäkantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Incompleteness in the Land of Sets
M. Fitting
College Publications (2007)
Pehmeäkantinen kirja
46,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Allgemeine Physiologie der Nerven und des Zentralnervensystems
Ph. Broemser; E.Th. Brücke; W.v. Buddenbrock; M. Cremer; NA Creutzfeldt; NA Fitting; NA Fröhlich; NA Gros; NA Höber; Kr
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1929)
Pehmeäkantinen kirja
52,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Types, Tableaus, and Gödel’s God
101,40 €
Springer-Verlag New York Inc.
Sivumäärä: 181 sivua
Asu: Kovakantinen kirja
Painos: 2002 ed.
Julkaisuvuosi: 2002, 31.05.2002 (lisätietoa)
Kieli: Englanti
Tuotesarja: Trends in Logic 12
Gödel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added, semantically and through tableau rules, to produce a modified version of Montague/Gallin intensional logic. Extensionality, rigidity, equality, identity, and definite descriptions are investigated. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Objections to the Gödel argument are examined, including one due to Howard Sobel showing Gödel's assumptions are so strong that the modal logic collapses. It is shown that this argument depends critically on whether properties are understood intensionally or extensionally.
Parts of the book are mathematical, parts philosophical. 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. There should be something for everybody (and perhaps everything for somebody).

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Types, Tableaus, and Gödel’s Godzoom
Näytä kaikki tuotetiedot
ISBN:
9781402006043
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste