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 |