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...”