TY  - BOOK
AU  - Fejer, Peter A.
AU  -  Simovici, Dan A.
TI  - Logical foundations of computer science : : predicate logic, Vol. 2 / 
SN  - 9789811287664
U1  - 005.115 
PY  - 2025///
CY  - Singapore : 
PB  - World Scientific Publishing
KW  -  Logic programming
KW  - Computer science
ER  -