A Computational Logic (1979)

by R S Boyer, J S Moore