1
by Fraïssé, Roland
Published 2000
Elsevier
...This allows us, for each statement, to specify if it is proved only from ZF axioms of choice...