Self-Reference and Modal Logic

1 499,00 kr
+ 99,49 kr Leverans
  • product image

Self-Reference and Modal Logic

  • Märke: Unbranded
Säljs av:

Self-Reference and Modal Logic

  • Märke: Unbranded
Pris: 1 499,00 kr
Säljs av:
1 499,00 kr
+ 99,49 kr Leverans

I lager

Vi erbjuder följande betalsätt

Beskrivning

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
  • Märke: Unbranded
  • Kategori: Utbildning
  • Artist: Craig Smorynski
  • Format: Paperback
  • Publiceringsdatum: 1985/09/23
  • Sidantal: 333
  • Förläggare / Bolag: Springer
  • Språk: English
  • Fruugo-ID: 337367852-740997378
  • ISBN: 9780387962092

Leverans och returer

Skickas inom 4 dagar

  • STANDARD: 99,49 kr - Leverans mellan kl tors 23 oktober 2025–tis 28 oktober 2025

Leverans från Storbritannien.

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna. Visa fullständig returpolicy