PakCat catalogue record

Discrete structures, logic and computability

By Hein, James L.

Bibliographic details

Subjects

logic programming