Book review: Set Theory for Computing. by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001.

Publication
THEORY AND PRACTICE OF LOGIC PROGRAMMING

Related