Chicago

Witcraft, Don A. 1960. The Mechanization of Logic Ii. : Oregon State College.