History of Logic System

Intro