PX: A Computational Logic. Foundations of Computing (1988)

by SusumuHayashi, Hiroshi Nakano