What European logicians did Avicennian logic borrow from?