00757     2200253   4500001002100000005001500021035002000036007000300056008004100059020001500100082001200115084001800127100001800145245009100163250000600254260004100260300004900301500002200350650002500372650001800397650001400415856006300429990001100492INLIS00000000000075420230531030817  a0010-0523000049ta230531                g          0 eng    a0852243057  a631.171  a631.171 ROB l0 aROBINSON, J.A1 aLogic : Form and Function :bThe Mechanization of Deductive Reasoning /cJ.A. Robinson  a-  aEdinburgh :bUniversity Press,c1079  a312 hal :bvi, ils.: lamp ;c17,5 x 24 cme-  aThe Mechanization 4aLogical Equinvalence 4aMechanization 4aReasoning  aPerpustakaan Balai Besar Pengembangan Mekanisasi Pertanian  a001125