Pinḥas ben ʻAzriʼel ha-Leṿi, mi-ḳ.ḳ. Amśṭerdam.