Self-Reference and Modal Logic

€ 139,00
+ € 6,49 Verzending
  • product image

Self-Reference and Modal Logic

  • Merk: Unbranded
Verkocht door:

Self-Reference and Modal Logic

  • Merk: Unbranded

€ 139,00

Op voorraad
+ € 6,49 Verzending
Verkocht door:

€ 139,00

Op voorraad
+ € 6,49 Verzending

We accepteren de volgende betalingsmethoden

Beschrijving

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
  • Merk: Unbranded
  • Categorie: Onderwijs
  • Artiest: Craig Smorynski
  • Uitgever / Label: Springer
  • Formaat: Paperback
  • Aantal pagina's: 333
  • Verschijningsdatum: 1985/09/23
  • Taal: English
  • Fruugo-ID: 337367852-740997378
  • ISBN: 9780387962092

Levering & retouren

Verzonden binnen4 dagen

  • STANDARD: € 6,49 - Levering tussen ma 03 november 2025–do 06 november 2025

Verzending vanaf Verenigd Koninkrijk.

We doen ons best om ervoor te zorgen dat de producten die u bestelt volledig en volgens uw specificaties bij u worden afgeleverd. Mocht u echter een onvolledige bestelling ontvangen of andere artikelen dan degene die u heeft besteld, of als er een andere reden is waarom u niet tevreden bent met de bestelling, dan kunt u de bestelling retourneren, of welk product dan ook die bij de bestelling was inbegrepen, en ontvangt u een volledige terugbetaling voor de artikelen. Bekijk het volledige retourbeleid