"20th-century American mathematicians" . "1978 deaths" . "Logical expressions" .