Event Detail

Fri Feb 24, 2012
60 Evans Hall, 4:10–6 PM
Alfred Tarski Lectures
Per Martin-Löf (Stockholm University)
Tarski’s Metamathematical Reconstruction of the Notions of Truth and Logical Consequence