TY  - GEN
TI  - Issledovaniia po teorii algorifmov i matematicheskoj logike
U1  - 517.11 
PY  - 1979///
CY  - Moskva
PB  - Nauka
N1  - Cuprinde bibliografie pe capitole; Scriere chirilica; Deasupra titlului: Akademiia Nauk SSSR; Vychislitel'nyj tsentr
ER  -