Title: Order and recursion in topoi /
Authors: Brook, Tim.
Publisher: Dept. of Pure Mathematics, S.G.S., Australian National University,
Year: 1977
Subjects: Toposes.; Recursion theory.