Lambert of Auxerre: Logica, or Summa Lamberti, trans. with notes and introduction by Thomas S. Maloney