A set-theoretical formula equivalent to the axiom of choice.
Sobociński, BolesławVolume:
3
Year:
1962
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1305/ndjfl/1093957234
File:
PDF, 238 KB
english, 1962