S.: A Computational Logic (1979)

by R S Boyer, J Moore