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