Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Types, Tableaus, and Goedel's God

Name: Types, Tableaus, and Goedel's God
Brand: Springer
SKU: 05323256
Price: 112.61 EUR
Availability: InStock
Author: M. Fitting
ISBN: 9789401039123

M. Fitting

Sprache

Englisch

Buch Broschur

Libristo-Code: 05323256

Verlag Springer, Oktober 2012

Gödel's modal ontological argument is the centerpiece of an extensive examination of intensional log... Vollständige Beschreibung

Libristo-Code: 05323256

274 b

112.61 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Danse ! - tome 2 Un amour très hip-hop Anne-Marie Pol

Hardcover

14.87 €

Zerstörung Gerald Lind

Broschur

9.64 €

Smradi Epizóda 9 Aaron Blabey

Hardcover

12.56 €

Die Urgeschichte der Menschheit in ihrem vollen Umfange Johann Friedrich Wilhelm Pustkuchen

Broschur

19.50 €

Régimen jurídico de la privación de la patria potestad, El LYDIA NORIEGA RODRIGUEZ

Broschur

47.45 €

Helado O Castigo Pastor Ruben Joseph

Broschur

16.98 €

Bild und Kult Hans Belting

Broschur

38.40 €

Tajomstvo reči tela Monika Stehlíková

Hardcover

20.10 €

Skola Reci Slovenskej: Cvicenia Mluvnicne, Pravopisne A Slohove V 500 Ulohach, Part 1-2 (1881) Jan Zigmundik

Broschur

30.06 €

Discours Prononce Le 20 Fevrier 1790 Pour l'Examen de la Question Relative A La Liberte Lezin De Milly-L

Broschur

15.07 €

Berliner Blau Alexander Kraft

Hardcover

39.91 €

Odin den' iz zhizni Maxima Vitalij Nadymov

Broschur

31.87 €

Faszination Klavier 1 Frauke Grimmer

Buch

28.15 €

I demagoghi I misteri di Livorno Cesare Monteverde

Broschur

17.79 €

Und wieder schreit der Frieder Oma Gudrun Mebs

Broschur

6.93 €

l'IMPOSTURE ALESIA Danielle Porte

Broschur

44.33 €

Gödel's modal ontological argument is the centerpiece 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 to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical. §

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Types, Tableaus, and Goedel's God

Autor M. Fitting

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 181

EAN 9789401039123

ISBN 9401039127

Libristo-Code 05323256

Verlag Springer

Gewicht 331

Abmessungen 160 x 240 x 12

Kategorie

Philosophie und Religion > Philosophie > Themen der Philosophie > Metaphysik und Ontologie

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

Philosophie und Religion > Religion und Glaube > Religion, allgemein > Religionsphilosophie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert