Self-Reference and Modal Logic

149,00 €
ja 9,49 € toimitus
  • product image

Self-Reference and Modal Logic

  • Merkki: Unbranded
Myynyt:

Self-Reference and Modal Logic

  • Merkki: Unbranded

149,00 €

Varastossa
ja 9,49 € toimitus

14 päivän palautuskäytäntö

Myynyt:

149,00 €

Varastossa
ja 9,49 € toimitus

14 päivän palautuskäytäntö

Maksutavat:

Kuvaus

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
  • Merkki: Unbranded
  • Kategoria: Koulutus
  • Formaatti: Paperback
  • Artisti: Craig Smorynski
  • Julkaisuaika: 1985/09/23
  • Kustantaja / Levy-yhtiö: Springer
  • Kieli: English
  • Sivumäärä: 333
  • Fruugo ID: 337367852-740997378
  • ISBN: 9780387962092

Toimitus ja palautukset

Lähetetään 4 päivän kuluessa

  • STANDARD: 9,49 € - Toimitus välillä to 22 tammikuuta 2026–ti 27 tammikuuta 2026

Lähetyspaikka: Iso-Britannia.

Teemme parhaamme varmistaaksemme, että kaikki tilaamasi tuotteet toimitetaan sinulle toiveidesi mukaisesti. Jos sinulle toimitettu tilaus kuitenkin on puutteellinen tai sisältää tilaamattomia tuotteita, tai jos et jostain muusta syystä ole tyytyväinen tilaukseesi, voit palauttaa tilauksen kokonaan tai osittain. Saat tuotteista täyden hyvityksen. Näytä koko palautuskäytäntö