TY  - BOOK
AU  - GOCHET, Paul
AU  - Gibomont, Paul
TI  - Logique: Méthodes formelles pour l'étude 
SN  - 2-86601-395-6
PY  - 1994///
CY  - Paris : 
PB  - Hermès , 
KW  - SCIENCES EXACTES
KW  - LOGIQUE
KW  - THEORIE DES NOMBRES
N1  -  Index : pp (346-351)
ER  -