00330nam a2200121Ia 4500008004100000040002900041050002000070100001900090245004100109260003400150942000700184999001700191230222s9999||||xx |||||||||||||| ||und|| cChuka University Library aBC 71 bK3 1964 aKalish D98151 0aLogic techniques of formal reasoning aHarcourt BracebChicagoc1964 cBK c13416d13416