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