What European logician was greatly influenced by Avicenna?