TY  - BOOK
AU  - Moisil C etal.
TI  - Logique automatique informatique
CY  - Bucarest
KW  - Mathematical logic
ER  -