Learning logic

Technical report TR-47, Center for Computational Research in Economics and Management Science, Massachusetts Institute of Technology.