Title: New foundations for retrieval theories
Subjects: Information storage and retrieval systems, Logic, Symbolic and mathematical, Symbolic and mathematical Logic