The User's Manual for A Computational Logic (1988)

by Robert S Boyer, J Strother Moore
Venue:Computational Logic, Inc