BJBR |

Record Type:	Language materials, printed: monographic
Author:	State, Luminiţa
Statement of Responsibility:	Luminiţa State
Published:	Universitatea din Bucureşti
Place of Publication:	Bucureşti
Year of Publication:	1989
Description:	232 p.
Notes:	Antetitlu: Universitatea Bucureşti. Facultatea de matematică.
Language:	Romanian
Classification:	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