ZF Signatures Semantique initiale

Dédou

Description

ZF Signatures Semantique initiale La logique dominante Dedou Janvier 2010

• regles d'inference


• bases logiques des maths


• semantique initiale


• zf signatures


• plan du chapitre


• vrai mathematicien

Informations

• Publié par: pefav
• Publié le: 01 janvier 2010
• Nombre de lectures: 9
• Langue: Français

Extrait

ZF Signatures Semantique initiale
La logique dominante
Dedou
Janvier 2010ZF Signatures Semantique initiale
Plan du chapitre
1 ZF
2 Signatures
3 Semantique initiale