Title: The logic of partial information
Subjects: Computer algorithms, Programming languages (Electronic computers), Semantics, Symbolic and mathematical Logic