Self-Reference and Modal Logic

159,00 €
+ 8,49 € Doručenie
  • product image

Self-Reference and Modal Logic

  • Značka: Unbranded
Predáva:

Self-Reference and Modal Logic

  • Značka: Unbranded

159,00 €

Na sklade
+ 8,49 € Doručenie

Politika vrátenia 14 dní

Predáva:

159,00 €

Na sklade
+ 8,49 € Doručenie

Politika vrátenia 14 dní

Spôsoby platby:

Popis

Self-Reference and Modal Logic

0. Introduction. - 1. The Incompleteness Theorems. - 2. Self-Reference. - 3. Things to Come. - 4. The Theory PRA. - 5. Encoding Syntax in PRA. - 6. Additional Arithmetic Prerequisites. - I. The Logic of Provability. - 1. Provability as Modality. - 2. Modal Model Theory. - 3. Arithmetic Interpretations of PRL. - II. Multi-Modal Logic and Self-Reference. - 4. Bi-Modal Logics and Their Arithmetic Interpretations. - 5. Fixed Point Algebras. - III. Non-Extensional Self-Reference. - 6. Rosser Sentences. - 7. An Ubiquitous Fixed Point Calculation. Language: English
  • Značka: Unbranded
  • Kategória: Vzdelávanie
  • Počet strán: 333
  • Formátovať: Paperback
  • Jazyk: English
  • Umelec: Craig Smorynski
  • Dátum vydania: 1985/09/23
  • Vydavateľ / štítok: Springer
  • Fruugo ID: 337367852-740997378
  • ISBN: 9780387962092

Dodanie a vrátenie

Odoslané do 6 dní

  • STANDARD: 8,49 € - Doručenie medzi st 21 januára 2026–po 26 januára 2026

Doručenie od Spojené kráľovstvo.

Snažíme sa, aby sme výrobky, ktoré si objednáte, doručili celkom v súlade s vašou špecifikáciou. Ak by ste však dostali neúplnú objednávku alebo iný tovar ako ten, ktorý ste si objednali, alebo existuje nejaký iný dôvod, prečo nie ste s objednávkou spokojní, môžete objednávku alebo niektoré produkty z nej vrátiť a za tovar dostať plnú náhradu. Pozrite si všetky pravidlá vrátenia