TY - BOOK AU - Tandareanu, N. TI - Bazele informaticii: Exercitii de calcul boolean, automate si limbaje formale / U1 - 511.3 PY - 1980/// CY - Bucuresti PB - Universitatea din Bucuresti KW - Symbolic logic (Mathematical logic) KW - Programming languages N1 - Dedicatia autorului pentru dl Profesor Sergiu Rudeanu ER -