Logique et démonstration automatique : Une introduction ... - Verimag

2 févr. 2012 ... 1.2.3 Définitions et notions élémentaires de logique . ...... de compacité qui sera principalement utilisé dans la seconde partie de ce livre.


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A