Title: Symbolic logic retrieval users code
Subjects: Data processing, Logic, Symbolic and mathematical, Medical records, Symbolic and mathematical Logic