TY  - BOOK
AU  - Mateescu, Alexandru
TI  - Structuri matematice discrete: Aplicatii / 
U1  - 005.131 
PY  - 1989///
CY  - Bucuresti
PB  - Ed. Academiei Romane
KW  - Symbolic logic (Mathematical logic)
KW  - Programming languages
ER  -