January 17, 2012

Axioms and Inferences (John Lennox)


http://youtu.be/QsNX0ZRHCpo (Talk at Stanford University, 2011)