Computers in Education Symposium of IEEE Transactions, 7(5) May 1975
(1975)
Carroll, B. D. (1975)
Carroll, B. D. "A Simulator for Undergraduate Logic Courses"