On definable sets of positive integers (1947)

by A Mostowski
Venue:Fundamenta Mathemafica