Logica Tools
for
Thought

Fitch
Undo Copy Paste Deduce Reduce Expand Load Save Library Help
Objects  a, b, c
Functions  f, g