Wolfgang Lenzen: Abaelards Logik