Henry Ainsworth, The Art of Logick (1654)