001: 75315
003: Starlibrary PMS 4.5
005: 20180420
020: ^a81-85095-82-5
066: ^aPe.L
072: ^athe predicate calculus
082: ^a512
100: ^aPeter M. D. Gray
240: ^aLogic, Algebra and Databases
245: ^aLogic, Algebra and Databases
260: ^c1984
650: ^a the propositional calculus