Order and Recursion in Topoi, volume 9 (1977)

by T Brook
Venue:of Notes on Pure Mathematics. Australian National