na INLIS000000000000754 20230531030817 0010-0523000049 ta 230531 g 0 eng 0852243057 631.171 631.171 ROB l ROBINSON, J.A Logic : Form and Function : The Mechanization of Deductive Reasoning / J.A. Robinson - Edinburgh : University Press, 1079 312 hal : vi, ils.: lamp ; 17,5 x 24 cm - The Mechanization Logical Equinvalence Mechanization Reasoning Perpustakaan Balai Besar Pengembangan Mekanisasi Pertanian 001125