Search for crossword answers and clues

Answer for the clue "System using syllogisms ", 11 letters:
formallogic