Dominical categories (1986)

by R di Paola, A Heller
Venue:Journal of Symbolic Logic