"3"^^ . . . . . . . "system of formal logic"@en . .