1
by Clerbout, Nicolas, Rahman, Shahid
Published 2015
Springer International Publishing
Table of Contents: ... -- Chapter 3. From dialogical strategies to CTT demonstrations -- Chapter 4. The dialogical take on the Axiom...

2
by Krivine, J.L.
Published 1971
Springer Netherlands
Table of Contents: .... Relative Consistency of the Axiom of Choice -- VII: Fraenkel/Mostowski Models. Relative Consistency...

3
Published 1974
Springer Netherlands
Table of Contents: ... Set Theoretical Statement Equivalent to the Axiom of Choice -- On Characterizing Elementary Logic...

4
Published 2012
Springer Netherlands
... is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden...