Some problems in logic and number theory. Thesis (1981)

by A Woods