Moisil C etal.
Logique automatique informatique - Bucarest De l'academie De la republique socialiste de Roumanie 1971 - 456
Mathematical logic
510.6 MOI
Logique automatique informatique - Bucarest De l'academie De la republique socialiste de Roumanie 1971 - 456
Mathematical logic
510.6 MOI