Search alternatives:
"axiom of choice" » "axioms of choice"
Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Problem -- The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF -- Upper...”