000 00600nam a2200205Ia 4500
005 20260429111956.0
008 260429s9999||||xx |||||||||||||| ||und||
020 _a9789811287657
041 _aEnglish
082 _a005.115
_bFEJ
100 _aFejer, Peter A.
245 0 _aLogical foundations of computer science :
_bpropositional logic, Vol. 1 /
_cPeter A. Fejer
260 _aSingapore :
_bWorld Scientific Publishing,
_c2025.
300 _axv, 529 p.; hb
440 _vVol. 1
650 _a Logic programming
650 _aComputer science
700 _a Simovici, Dan A.
942 _cTB
999 _c51703
_d51703