Personnaliser

OK

Informations importantes : Arrêt du Club R (13 août) et Cessation d'Activité (30 septembre)

En savoir plus.

Self-Reference and Modal Logic - Craig Smorynski

Note : 0

0 avis
  • Soyez le premier à donner un avis

168,73 €

Produit Neuf

  • Ou 42,18 € /mois

    • Livraison : 3,99 €
    • Livré entre le 24 et le 31 août
    Voir les modes de livraison

    M_plus_L

    PRO Vendeur favori

    4,8/5 sur + de 1 000 ventes

    Publicité
     
    Vous avez choisi le retrait chez le vendeur à
    • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
    • Récupérez le produit directement chez le vendeur
    • Rakuten vous rembourse en cas de problème

    Gratuit et sans engagement

    Félicitations !

    Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

    En savoir plus

    Retour

    Horaires

        Note :


        Avis sur Self - Reference And Modal Logic de Craig Smorynski Format Broché  - Livre Littérature Générale

        Note : 0 0 avis sur Self - Reference And Modal Logic de Craig Smorynski Format Broché  - Livre Littérature Générale

        Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


        Présentation Self - Reference And Modal Logic de Craig Smorynski Format Broché

         - Livre Littérature Générale

        Livre Littérature Générale - Craig Smorynski - 01/09/1985 - Broché - Langue : Anglais

        . .

      • Auteur(s) : Craig Smorynski
      • Editeur : Springer Us, New York, N.Y.
      • Langue : Anglais
      • Parution : 01/09/1985
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 352
      • Expédition : 534
      • Dimensions : 23.5 x 15.5 x 2.0
      • ISBN : 0387962093



      • Sommaire:
        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.

        Détails de conformité du produit

        Consulter les détails de conformité de ce produit (

        Personne responsable dans l'UE

        )
        Le choixNeuf et occasion
        Le service clientsÀ votre écoute
        LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
        visavisa
        mastercardmastercard
        klarnaklarna
        paypalpaypal
        floafloa
        americanexpressamericanexpress
        Rakuten Logo
        • Rakuten Kobo
        • Rakuten TV
        • Rakuten Viber
        • Rakuten Viki
        • Plus de services
        • À propos de Rakuten
        Rakuten.com