. . "mathematical logic" . "mathematical logic" .