Autor | ŞTIRBĂŢ, TRAIAN chat |
Editura | Junimea chat |
Loc publicare | Iaşi |
An | 1986 |
Subiect | Logică matematică |
Logică formală chat | |
Note | Rezumat şi tablă de materii în limba engleză |
Bibliogr. p.292-302 |
Alt sistem de control al numerelor | |
Cotă | 51 |
C.II.25527 | |
Limba resursei | |
Limba textului | rum |
Titlu / Menţiuni de responsabilitate | |
Titlu | Corespondenţe structurale în logica modernă |
Alte informaţii la titlu | Demers retrospectiv şi prospectiv asupra dimensiunii structural-algebrice a sistemelor logice |
Publicare, distribuţie | |
Loc publicare | Iaşi |
Editura | Junimea |
Data publicării | 1986 |
Descriere fizică | |
Desemnarea specifica a mat. | 304p. |
Serii | |
Titlul seriei | Humanitas; 36 |
Titlu | |
Titlu | Corespondenţe structurale în logica modernă : Demers retrospectiv şi prospectiv asupra dimensiunii structural-algebrice a sistemelor logice |
Notă generală | |
Textul notei | Rezumat şi tablă de materii în limba engleză |
Bibliogr. p.292-302 | |
Notă de rezumat/abstract | |
Abstract/Sumar | Modele algebrice fundamentale ale logicii |
Structura algebrică a logicii clasice | |
Liniamente logico-filosofice | |
Algebrizarea logicii în perspectiva teoriei categoriilor | |
Vedetă de subiect ca subiect | |
Subiect | Logică matematică |
Logică formală | |
Număr (indice) CZU | |
Număr (indice) CZU | 510.64 |
164 | |
Alte clasificări | |
Alte clasificări - Numărul clasei | 51 |
Nume de persoană / resp. intelectuală primară | |
Autor principal | ŞTIRBĂŢ, TRAIAN |
Titlu procesat (cu articole nehot. postfixate) | |
Titlu | 63880 |
Barcode/Nr. Inventar | Număr/Ediție | Localizare | Regim resursa | Disponibil | Cota | |
---|---|---|---|---|---|---|
1. | 222544 / 222544 | L | Împrumut | Da | 51 |
Gestiune | Regim imprumut | Ex. | Acțiune |
---|---|---|---|
L | Împrumut | 1 |
|