Logical foundations of computer science : predicate logic, Vol. 2 /
Fejer, Peter A.
Logical foundations of computer science : predicate logic, Vol. 2 / Peter A. Fejer - Singapore : World Scientific Publishing, 2025. - xv, 533-1302 p.; hb - Vol. 2 .
9789811287664
Logic programming
Computer science
005.115 / FEJ
Logical foundations of computer science : predicate logic, Vol. 2 / Peter A. Fejer - Singapore : World Scientific Publishing, 2025. - xv, 533-1302 p.; hb - Vol. 2 .
9789811287664
Logic programming
Computer science
005.115 / FEJ
