PX: A Computational Logic by Susumu Hayashi and Hiroshi Nakano published in 1988 from MIT Press is now out of print. MIT Press kindly permitted to make an electoronical version of the book available free of charge.