MLA

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