The logic of provability

par Boolos George, cop. 1993
Réserver

À propos

modalite (logique)theorie de la demonstrationpreuve

Détails

Format : 1 vol. (XXXVI-275 p.)
Editeur : Cambridge University Press (cop. 1993)
Langue : anglais
ISBN-10 : 0-521-43342-8
Ressource

La logique, pas à pas

Livre imprimé - Duparc Jacques, cop. 2015
Fondée sur les jeux, cette introduction à la logique aborde les logiques propositionnelles, modales, du premier et du second ordre, la récursivité et la correspondance ...
Ressource

Le probable, le possible et le virtuel : essai sur le rôle du non-actuel dans la pensée objective

Livre imprimé - Granger Gilles-Gaston, DL 1995, cop. 1995
philosophie des sciencestheorie de la connaissancevirtualite (philosophie)possibiliteprobabilitesmathematiquesmodalite (logique)sciencesscienceepistemologie

L’emprunt de ressources est réservé aux adhérents ayant présenté une pièce d'identité et un justificatif de domicile.

Profitez de toutes les ressources mises à votre disposition à la Cité des sciences et de l’industrie en adhérant.

Pass duo

Pour un abonné principal + 1 invité

  • Rejoignez notre communauté et découvrez la Cité des sciences et de l’industrie et les Étincelles du Palais de la découverte en illimité pendant 1 an !
  • Empruntez gratuitement à la Bibliothèque des sciences et de l'industrie (BSI)
à partir de65 € /an

Pass tribu

Pour un abonné principal + 4 bénéficiaires

  • Accès à la Cité des sciences et de l’industrie et aux Étincelles du Palais de la découverte
  • Des réductions exclusives
  • Des avantages chez nos partenaires
  • Empruntez gratuitement à la Bibliothèque des sciences et de l'industrie (BSI)
à partir de95 €/an

Pass solo

Pour vous ou pour offrir à un proche

  • Rejoignez notre communauté et découvrez la Cité des sciences et de l’industrie et les Étincelles du Palais de la découverte en illimité pendant 1 an !
  • Empruntez gratuitement à la Bibliothèque des sciences et de l'industrie (BSI)
à partir de45 €/an

Pass BSI

Profitez des collections en illimité pendant 1 an

  • Empruntez des livres
  • Accédez à distance aux ressources numériques
  • Gérez vos emprunts
  • Réservez un poste ou une salle de travail
à partir deGratuit
Retourà votre recherche