PDA

Voir la version complète : Logique



Page : 1

  1. Démontrer qu’on ne peut pas démontrer
  2. Le langage de base
  3. GODEL et l’indénombrable
  4. Théorie des ensembles: approche