Dana Scott: Lambda Calculus, Forcing 및 수학의 기초: #14 aboutlogic [영상]

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

▲ 3 · youtube.com · 1일 전 · 0 댓글