"PX, a computational logic" - читать интересную книгу автора (Susumu Hayashi, Hiroshi Nakano)