Personnaliser

OK

First Steps in Modal Logic - Popkorn, Sally

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

98,10 €

Occasion · Comme Neuf

  • Ou 24,53 € /mois

    • Livraison : 25,00 €
    • Livré entre le 13 et le 18 juin
    Voir les modes de livraison

    Kelindo

    PRO Vendeur favori

    4,8/5 sur + de 1 000 ventes

    Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

    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 First Steps In Modal Logic Format Broché  - Livre

        Note : 0 0 avis sur First Steps In Modal Logic Format Broché  - Livre

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


        Présentation First Steps In Modal Logic Format Broché

         - Livre

        Livre - Popkorn, Sally - 01/12/2007 - Broché - Langue : Anglais

        . .

      • Auteur(s) : Popkorn, Sally
      • Editeur : Cambridge University Press
      • Langue : Anglais
      • Parution : 01/12/2007
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 332
      • Expédition : 540
      • Dimensions : 22.9 x 15.2 x 2.0
      • ISBN : 0521057930



      • Sommaire:
        Introduction; Acknowledgements; Part I. Preliminaries: 1. Survey of propositional logic; 2. The modal language; Part II. Transition Structures and Semantics: 3. Labelled transition structures; 4. Valuation and satisfaction; 5. Correspondence theory; 6. The general confluence result; Part III. Proof Theory and Completeness: 7. Some consequence relations; 8. Standard formal systems; 9. The general completeness result; 10. Kripke-completeness; Part IV. Model Constructions: 11. Bismulations; 12. Filtrations; 13. The finite model property; Part V. More Advanced Material: 14. SLL logic; 15. L?b logic; 16. Canonicity without the fmp; 17. Transition structures aren't enough; Part VI. Two Appendices: Bibliography.

        Détails de conformité du produit

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

        Personne responsable dans l'UE

        )
        Le choixNeuf et occasion
        Minimum5% remboursés
        La sécuritéSatisfait ou remboursé
        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