Masekhet Pesaḥim ṿe-Baba Metsiʿa - Pines, Eliyahu Dov ([Ḥ. mo. l.], 1968)