000 00472nam a2200157Ia 4500
003 OSt
005 20240916164159.0
008 240404s9999 xx 000 0 und d
040 _crum
082 _a005.131
100 _aMateescu, Alexandru
245 0 _aStructuri matematice discrete: Aplicatii /
_cAlexandru Mateescu
260 _aBucuresti
_bEd. Academiei Romane
_c1989
650 _aSymbolic logic (Mathematical logic)
_xProgramming languages
942 _aIMAR
_cCART
_2ddc
999 _c5400
_d5400