. . "3"^^ . . . . . . "forma a clausole della logica dei predicati"@it .