"Logic, Symbolic and mathematical." . . "Lógica matemática." . . "Universal Logic" . . . . . . . . . . . . . . . . . . "Universal logic" . . . . . . . . . . "Mathématiques Philosophie." . . . . "Logic." . . "Logique symbolique et mathématique." . . "Symbolsk logik" . . "Mathématiques Notation." . . "Logik." . . "Typentheorie." . . "Universelle Logik." . .