Logica matematică : Elemente de calcul cu propoziţii şi predicate
| Autor | MIHĂILESCU, EUGEN chat |
| Editura | Academiei Republicii Socialiste România chat |
| Loc publicare | Bucureşti |
| An | 1969 |
| Subiect | Lesniewski (sistemul de echivalenţă) |
| Sobocinski, B. (sistemul de implicaţie şi conjuncţie) chat | |
| Hilbert, David (Fundamentele logicii teoretice) chat | |
| Godel (Teorema lui) chat | |
| Formalism logic chat | |
| Analiză matematică chat | |
| Logică matematică chat | |
| Note | Bibliogr. p.329-332 |
| Alt sistem de control al numerelor | |
| Cotă | 51 |
| C.III.5491 | |
| Limba resursei | |
| Limba textului | rum |
| Titlu / Menţiuni de responsabilitate | |
| Titlu | Logica matematică |
| Alte informaţii la titlu | Elemente de calcul cu propoziţii şi predicate |
| Publicare, distribuţie | |
| Loc publicare | Bucureşti |
| Editura | Academiei Republicii Socialiste România |
| Data publicării | 1969 |
| Descriere fizică | |
| Desemnarea specifica a mat. | 335p. |
| Titlu | |
| Titlu | Logica matematică : Elemente de calcul cu propoziţii şi predicate |
| Notă generală | |
| Textul notei | Bibliogr. p.329-332 |
| Vedetă de subiect ca subiect | |
| Subiect | Lesniewski (sistemul de echivalenţă) |
| [nedefinit] | 45-60 |
| Subiect | Sobocinski, B. (sistemul de implicaţie şi conjuncţie) |
| [nedefinit] | 61-74 |
| Subiect | Hilbert, David (Fundamentele logicii teoretice) |
| [nedefinit] | 75-94 |
| Subiect | Godel (Teorema lui) |
| [nedefinit] | 302-308 |
| Subiect | Formalism logic |
| [nedefinit] | 75-94 |
| Subiect | Analiză matematică |
| Logică matematică | |
| Număr (indice) CZU | |
| Număr (indice) CZU | 510.6 |
| 517.11 | |
| Alte clasificări | |
| Alte clasificări - Numărul clasei | 51 |
| Nume de persoană / resp. intelectuală primară | |
| Autor principal | MIHĂILESCU, EUGEN |
| Titlu procesat (cu articole nehot. postfixate) | |
| Titlu | 46045 |
51; C.III.5491
MIHĂILESCU, EUGEN
Logica matematică : Elemente de calcul cu propoziţii şi predicate.- Bucureşti : Academiei Republicii Socialiste România , 1969.
335p..
Bibliogr. p.329-332.
1. Lesniewski (sistemul de echivalenţă)
2. Sobocinski, B. (sistemul de implicaţie şi conjuncţie)
3. Hilbert, David (Fundamentele logicii teoretice)
4. Godel (Teorema lui)
5. Formalism logic
6. Analiză matematică
7. Logică matematică
510.6
517.11
035
__
$a 51
035 __ $a C.III.5491
101 __ $arum
200 __ $aLogica matematică $eElemente de calcul cu propoziţii şi predicate
210 __ $aBucureşti $cAcademiei Republicii Socialiste România $d1969
215 __ $a335p.
299 __ $aLogica matematică : Elemente de calcul cu propoziţii şi predicate
300 __ $aBibliogr. p.329-332
606 __ $aLesniewski (sistemul de echivalenţă) $b45-60
606 __ $aSobocinski, B. (sistemul de implicaţie şi conjuncţie) $b61-74
606 __ $aHilbert, David (Fundamentele logicii teoretice) $b75-94
606 __ $aGodel (Teorema lui) $b302-308
606 __ $aFormalism logic $b75-94
606 __ $aAnaliză matematică
606 __ $aLogică matematică
675 __ $a510.6
675 __ $a517.11
686 __ $a51
700 __ $aMIHĂILESCU, EUGEN
920 __ $a46045
035 __ $a C.III.5491
101 __ $arum
200 __ $aLogica matematică $eElemente de calcul cu propoziţii şi predicate
210 __ $aBucureşti $cAcademiei Republicii Socialiste România $d1969
215 __ $a335p.
299 __ $aLogica matematică : Elemente de calcul cu propoziţii şi predicate
300 __ $aBibliogr. p.329-332
606 __ $aLesniewski (sistemul de echivalenţă) $b45-60
606 __ $aSobocinski, B. (sistemul de implicaţie şi conjuncţie) $b61-74
606 __ $aHilbert, David (Fundamentele logicii teoretice) $b75-94
606 __ $aGodel (Teorema lui) $b302-308
606 __ $aFormalism logic $b75-94
606 __ $aAnaliză matematică
606 __ $aLogică matematică
675 __ $a510.6
675 __ $a517.11
686 __ $a51
700 __ $aMIHĂILESCU, EUGEN
920 __ $a46045
| Barcode/Nr. Inventar | Număr/Ediție | Localizare | Regim resursa | Disponibil | Cota | |
|---|---|---|---|---|---|---|
| 1. | 81780 / 81780 | L | Împrumut | Da | 51 |
| Gestiune | Regim imprumut | Ex. | Acțiune |
|---|---|---|---|
| L | Împrumut | 1 |
|
