Self-Reference and Modal Logic

1.149,00 DKK
+ 72,49 DKK Levering
  • product image

Self-Reference and Modal Logic

  • Brand: Unbranded
Sоlgt af:

Self-Reference and Modal Logic

  • Brand: Unbranded

1.149,00 DKK

På lager
+ 72,49 DKK Levering

14-dages returpolitik

Sоlgt af:

1.149,00 DKK

På lager
+ 72,49 DKK Levering

14-dages returpolitik

Vi accepterer følgende betalingsmetoder

Beskrivelse

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
  • Brand: Unbranded
  • Kategori: Uddannelse
  • Format: Paperback
  • Forlag / Pladeselskab: Springer
  • Udgivelsesdato: 1985/09/23
  • Kunstner: Craig Smorynski
  • Sprog: English
  • Antal sider: 333
  • Fruugo ID: 337367852-740997378
  • ISBN: 9780387962092

Levering og returnering

Sendt inden for 5 dage

  • STANDARD: 72,49 DKK - Levering mellem kl ons. 31 december 2025–man. 05 januar 2026

Afsendes fra Storbritannien.

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne. Se fuld returpolitik