[sci.logic] Looking for PX

chou@maui.cs.ucla.edu (Ching-Tsun Chou) (06/07/91)

Does anyone out there know where and how to obtain a (preferably free)
implementation of the computational logic PX as described in the book
"PX, a computational logic" by Susumu Hayashi and Hiroshi Nakano?
Any pointer is appreciated.

Cheers,
Ching-Tsun <chou@cs.ucla.edu>