Learning logic (1985)

by D Parker
Venue:In Technical Report TR-47. Center for Computational Research in Economics and Management Science, Massachusetts Institute of Technology