Title: The logic of categories of partial functions and its applications
Subjects: Categories (Mathematics), Functions, Symbolic and mathematical Logic, Partial algebras