Table of Contents

A review of automatic theorem-proving(8-25from Mathematical Aspects of Computer Science)