Title: Symbolic logic retrieval users guide
First published: 1978
Subjects: Data processing, Logic, Symbolic and mathematical, Medical records, Symbolic and mathematical Logic