Self-Reference and Modal Logic

139,00 €
+ 4,99 € Envío
  • product image

Self-Reference and Modal Logic

  • Marca: Unbranded
Vendido por:

Self-Reference and Modal Logic

  • Marca: Unbranded

139,00 €

En existencias
+ 4,99 € Envío

Política de devoluciones de 14 días

Vendido por:

139,00 €

En existencias
+ 4,99 € Envío

Política de devoluciones de 14 días

Métodos de pago:

Descripción

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
  • Marca: Unbranded
  • Categoría: Educación
  • Idioma: English
  • Número de páginas: 333
  • Fecha de publicación: 1985/09/23
  • Artista: Craig Smorynski
  • Editor / Marca: Springer
  • Formato: Paperback
  • Nº de Fruugo : 337367852-740997378
  • ISBN: 9780387962092

Entrega y devolución

Enviado en un plazo de 6 días

  • STANDARD: 4,99 € - Entrega entre mar 20 enero 2026–vie 23 enero 2026

Envío desde Reino Unido.

Hacemos todo lo posible para asegurarnos de que se le entreguen los productos que pida en su totalidad y de acuerdo con sus especificaciones. Sin embargo, si recibe un pedido incompleto o artículos diferentes a los que pidió, o hay alguna otra razón por la que no está satisfecho con el pedido, puede devolver el mismo o cualquier producto incluido en él y obtener un reembolso completo por los artículos. Vea la política de devolución completa