[SLFM 066] The Metamathematics of Algebraic Systems. Collected Papers 1936-1967 - A.I.Malcev [Studies in Logic and the Foundations of Mathematics] (NH 1971)(T)
[SLFM 079] Generalized Recursion Theory - Fens Tad, P.G.hinman [Studies in Logic and the Foundations of Mathematics] (NH 1974)(T)