Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Home
Index
Authors
Berardi, S.
Volume
Title
116
On the computational content of the Axiom of Choice
Berardi, S.
|
Bezem, Marc
|
Coquand, T.