Recursive equivalence types, (University of California publications in mathematics)
Publisher: University of California Press
Published: 1960