BJBR |

Tipul înregistrării:	Text tipărit: monografic
Autor:	State, Luminiţa
Responsabilitate:	Luminiţa State
Editura:	Universitatea din Bucureşti
Locul publicării:	Bucureşti
Anul Ediției:	1989
Descriere:	232 p.
Note:	Antetitlu: Universitatea Bucureşti. Facultatea de matematică.
Limba:	Română
Clasificare:	510.6(075.8)

LDR:00581nam 2200157 001 34158
009 ubfixit050.016 Elemente de logică matematică şi demonstrarea automată teoremelor : [Curs]
100 $a 20100621u a u0rumy50 ba
101 0 $a rum
105 $a j
200 0 $a Elemente de logică matematică şi demonstrarea automată teoremelor $f Luminiţa State $b Carte tipărită $e Curs
210 # # $L s9487 $c Universitatea din Bucureşti $a Bucureşti $d 1989
215 $a 232 p.
300 $a Antetitlu: Universitatea Bucureşti. Facultatea de matematică.
675 $a 510.6(075.8)
679 $a 51
700 $3 86713 $a State $b Luminiţa
801 0 $a RO $b BJBR $c 20100618