Ma note

1
2
3
4
5
6
7
8
9
10

Écrire une critique

Lu

Envie de le lire

En cours

Coup de cœur

Ajouter à une liste

Accès rapide

Description

Activités

Livre de Daniel Lascar et René Cori · 15 janvier 2003

Genre : Essai
Toutes les informations

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.

Le live est actuellement indisponible, et sera restauré prochainement.
Merci beaucoup pour votre compréhension et votre patience.

En attendant, vous pouvez explorer les univers Films - Séries - Jeux vidéo - Livres - BD - Musique, et trouver votre bonheur grâce à notre explorer streaming.