Self-Reference and Modal Logic

724,00 RON
+ 31,49 RON Livrare
  • product image

Self-Reference and Modal Logic

  • Marcă: Unbranded
Vândut de:

Self-Reference and Modal Logic

  • Marcă: Unbranded

724,00 RON

În stoc
+ 31,49 RON Livrare

Politica de retur pe 14 zile

Vândut de:

724,00 RON

În stoc
+ 31,49 RON Livrare

Politica de retur pe 14 zile

Metode de plată:

Descriere

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
  • Marcă: Unbranded
  • Categorie: Educație
  • Artist: Craig Smorynski
  • Limbă: English
  • Număr de pagini: 333
  • Format: Paperback
  • Data publicării: 1985/09/23
  • Editor / Etichetă: Springer
  • ID Fruugo: 337367852-740997378
  • ISBN: 9780387962092

Livrări şi Returnări

Expediat în 6 zile

  • STANDARD: 31,49 RON - Livrare între mie. 21 ianuarie 2026–lun. 26 ianuarie 2026

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare