Dov M. Gabbay and John Woods ed. Logic from Russell to Church, Elsevier, Handbook of the History of Logic, vol. 5, 2009 Max A. Freund “A Complete and Consistent Formal System for Sortals,” in: Studia Logica, vol. 65, no. 3, 2000 1本目の本…