Decidability of the “almost all” theory of degrees (1972)

by John Stillwell
Venue:J. Symbolic Logic