Title: Direct and converse theorems
Subjects: Set theory, Symbolic and mathematical Logic, Axioms, Axioms.00