Dana Scott: Lambda Calculus, Forcing and the Foundations of Math: #14 aboutlogic [video]

(youtube.com)

3 points | by matt_d 8 hours ago ago

No comments yet.