The Theory of Triposes (1981)

by A M Pitts