The Logic of Gersonides: A Translation of Sefer ha-Heqqesh ha-Yashar (The Book of the Correct Syllogism) of Rabbi Levi ben Gershom with Introduction, Commentary, and Analytical Glossary