APA

Witcraft, D. (1960). The mechanization of logic II. : Oregon State College.