You are about to access our book library "Notre Dame Journal of Formal Logic; Volume XXIII, No.1; January, 1982 full version" .