Tandareanu, N.
Bazele informaticii: Exercitii de calcul boolean, automate si limbaje formale /
- Bucuresti: Universitatea din Bucuresti, 1980
- 162 p.
Dedicatia autorului pentru dl Profesor Sergiu Rudeanu
Symbolic logic (Mathematical logic)--Programming languages
511.3 005.131