Books on Amazon
Definition logic/Mates: theory of conlcusion relation. Task: to find general laws about what follows from what - correct thinking is not a contribution to logic.
Logic/Aristotle/Mates: no yet a distinction mention/use - it is the same: if a thing is contained in another, and when each is stated of the other.
First clear use of variables in history - for these names are used - variables/Stoics: "the first", "the second", etc. (unlike Aristotle).
I 262 "Zukommen"/Aristotle
Goes in both directions - which shows that there is no distinction between concept and object.
Terms for "Zukommen" are nouns, sensual beings, human, for "Nicht Zukommen" substance, sensual being, number.
Logic/Hobbes/Mates: influential (misleading) Argument: necessary truths would just come about through the random way how people like to use their words.
Elementare Logik Göttingen 1969