Self-Reference and Modal Logic

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

Self-Reference and Modal Logic

  • Brand: Unbranded
Sоlgt af:

Self-Reference and Modal Logic

  • Brand: Unbranded
Pris: 1.149,00 DKK
Sоlgt af:
1.149,00 DKK
+ 73,49 DKK Levering

På lager

Vi accepterer følgende betalingsmetoder

Beskrivelse

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 4 dage

  • STANDARD: 73,49 DKK - Levering mellem kl tor. 23 oktober 2025–tir. 28 oktober 2025

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