Order and recursion in topoi
By: Tim Brook.
Series: Notes on pure mathematics ;; 9
Publisher: Dept. of Pure Mathematics, S.G.S., Australian National University
Published: 1977
Place of publication: Canberra
Language: eng
Number of pages: 226
Subjects: Toposes.; Recursion theory.
Other titles: Recursion in topoi.
Notes: Bibliography: p. 202-216.
Includes indexes.