000 00410nam a2200157 4500
008 160616s1971 000 0
245 _aLogique automatique informatique
100 _aMoisil C etal.
260 _aBucarest
260 _bDe l'academie De la republique socialiste de Roumanie
260 _c1971
300 _a456
650 _aMathematical logic
942 _cBK
_2BK6328
080 _a510.6 MOI
999 _c6328
_d6328