Machine generated authority record.
Work cat.: (Clm)58640: GENESERETH, MICHAEL 3999, INTRODUCTION TO LOGIC