Title: Mathematical logic and formalized theories
Subjects: Symbolic and mathematical Logic, Logique symbolique et mathématique, Mathematische Logik