The User's Manual for A Computational Logic (Draft (1987)

by Robert S Boyer, J Strother Moore