(Q114004528)
Statements
1 reference
On the computational content of the axiom of choice (English)
1 reference
Stefano Berardi
1 reference
Marc Bezem
1 reference
Thierry Coquand
1 reference
June 1998
1 reference
1 reference
63
1 reference
2
1 reference
600-622
1 reference
Identifiers
1 reference