Biblioteca Universităţii din Craiova

Logică simbolică

Subiect Tematic: Logică simbolică
Limba: rum
Termen în relație: Logică matematică
Termen specific: Logica propoziţiilor
Termen specific: Logica predicatelor
Termen specific: Argument
Indice CZU: 164
Lucrări: 48 lucrari in 48 publicatii in 4 limbi
Argumentaţia şi demonstraţia, ca moduri de impunere de: Vlăduţescu, Ştefan (Text tipărit)
Gândire, limbaj, realitate de: Lăzăroiu, George (Text tipărit)
Lectures on Abstract Model Theory de: Mundici, Daniele (Text tipărit)
The Languages of Logic : An Introduction to Formal Logic de: Guttenplan, Samuel (Text tipărit)
Иазык логхики de: Фреудентхал, Ханс (Text tipărit)
Elemente de logică intuiţionistă de: Surdu, Alexandru (Text tipărit)
Vă rugăm să schimbaţi parola