Biblioteca Universităţii din Craiova

Logică matematică

Subiect Tematic: Logică matematică
Limba: rum
Termen în relație: Logică simbolică
Termen generic: Matematică
Termen specific: Teoria formală a numerelor
Termen specific: Teoria modelelor
Termen specific: Logica fuzzy
Termen specific: Logică modală
Termen specific: Logici cu valori multiple
Indice CZU: 164
Lucrări: 121 lucrari in 121 publicatii in 5 limbi
Decidability and Generalized Quantifiers de: Baudisch, Andreas (Text tipărit)
Einführung in die Matematische Logik de: Asser, G. Von (Text tipărit)
Elemente de logică intuiţionistă de: Surdu, Alexandru (Text tipărit)
Curs de bazele informaticii de: Căzănescu, Virgil Emil (Text tipărit)
Concept şi imagine în formarea gîndirii matematice de: Fischbein, Efraim (Text tipărit)
Colloque de Logique Mathématique '94 de: Colocviul De Logică Matematică '94. 21-30 Iulie 1994, Clermont-Ferrand, France (Text tipărit)
Vă rugăm să schimbaţi parola