3 ms·Dana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video]3 points by matt_d 4mo ago