00472nam 2275315 450000100060000000300230000600500090002900800410003808200080007907200270008702000180011410000210013226000420015325000060019524500330020165000270023465000310026175315StarLibrary Marc Built20180420201711 ||||| |||||||||||amh  a512 athe predicate calculus a81-85095-82-5 aPeter M. D. Gray bAffiliated east-west press pvt c1984 a2 aLogic, Algebra and Databases athe predicate calculus athe propositional calculus