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