On definable sets of positive integers

From MaRDI portal
Publication:5787743