The logic of categories of partial functions and its applications (1986)

by A Obtulowicz
Venue:Dissertationes Mathematicae