Alonzo Church The Calculi of Lambda Conversion, Princeton University Press, Annals of Mathematics Studies, no. 6, 1941, Second Printing 1951 市川三紀 「来歴否認の意味論的解明 −フレーゲの固有名と指標詞の意義理論を手懸に」、『創価大学大学院…