2 Logica Predicatelor de Ordinul I
1 Logica Propozitionala Clasica
Programarea in Java - 2014 - an II ID.pdf