An existence theorem for recursive categories (1990)

by A Heller
Venue:Journ. of Symb. Logic