TY - BOOK AU - Rudeanu, Sergiu TI - Lectii de Calculul Predicatelor si calculul propozitiilor PY - 1997/// CY - Bucuresti PB - Editura Universitatii din Bucuresti ER -