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.