▲ 3 pointsDana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video]youtube.comby matt_d·1mo ago·0 comments·view on hn ↗