Biblioteca Universităţii din Craiova
Limba
Coperţi

Logica predicatelor

Subiect Tematic: Logica predicatelor
Termen generic: Logică simbolică
Indice CZU: 164.2
Lucrări: 3 lucrari in 3 publicatii in 2 limbi
Decidability and Generalized Quantifiers de: Baudisch, Andreas (Text tipărit)
Logică generală de: Gheorghiu, Dumitru (Text tipărit)
Vă rugăm să schimbaţi parola