Daniel Lascar

• 

  Les théorie des modèles en peu de maux

  Daniel Lascar

  • Vuibert
  • Cassini
  • 6 Juillet 2009
  • 9782842251376

  Grand format 40.00 €

  Ajouter au panier

  Sur commande

• 

  Logique mathématique t.2 ; fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

  Rene Cori, Daniel Lascar

  • Dunod
  • Sciences Sup
  • 4 Février 2020
  • 9782100807703

  Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.
  

  Grand format 42.50 €

  Ajouter au panier

  Sur commande

• Nouv.

  Logique mathématique t.1 ; calcul propositionnel, algèbres de Boole, calcul des prédicats

  Rene Cori, Daniel Lascar

  • Dunod
  • Sciences Sup
  • 15 Février 2021
  • 9782100825141

  Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.
  

  Grand format 43.50 €

  Ajouter au panier

  Sur commande