Types, Tableaus, and Goedel's God / Nejlevnější knihy
Types, Tableaus, and Goedel's God

Kód: 08348590

Types, Tableaus, and Goedel's God

Autor Melvin Fitting

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. ... celý popis

3037 Kč


Skladem u dodavatele v malém množství
Odesíláme za 13-16 dnů

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.


Přidat mezi přání

Mohlo by se vám také líbit

Darujte tuto knihu ještě dnes
  1. Objednejte knihu a zvolte Zaslat jako dárek.
  2. Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
  3. Knihu zašleme na adresu obdarovaného, o nic se nestaráte.

Více informací

Více informací o knize Types, Tableaus, and Goedel's God

Nákupem získáte 304 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Humanities Philosophy Philosophy: logic

3037 Kč

Oblíbené z jiného soudku

O tomto obchodě



Nákupní rádce
Přehledy
Knihy podle jazyka
Platba
Doručení 54 Kč

Osobní odběr Praha, Brno a 12903 dalších

Česko
България Hrvatska România Magyarország Polska Slovensko

Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies

Můj účet: Přihlásit se
Všechny knihy světa na jednom místě. Navíc za skvělé ceny.

Nákupní košík ( prázdný )

Vyzvednutí v Zásilkovně
zdarma nad 1 499 Kč.

Nacházíte se: