Bookbot

Logique mathématique

Calcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés

Parámetros

  • 408 páginas
  • 15 horas de lectura

Más información sobre el libro

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.

Compra de libros

Logique mathématique, René Cori, Daniel Lascar

Idioma
Publicado en
2021
product-detail.submit-box.info.binding
(Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña