More About the Author
Robert Stephen Boyer, aka Bob Boyer, is a retired professor of computer science, mathematics, and philosophy at The University of Texas at Austin.
Review and Comments
Rate the Book
A Computational Logic (ACM monograph series) 0 out of 5 stars based on 0 ratings.