January 31, 2012
THE TWENTY-FOURTH ANNUAL ALFRED TARSKI LECTURES
by
PER MARTIN-LÖF
Emeritus Professor of Logic
Departments of Mathematics and Philosophy
Stockholm University
* * *
Assertion and Inference
Tuesday, February 21, 2012
4:10 p.m.
141 McCone Hall
Propositions, Truth and Consequence
Wednesday, February 22, 2012
4:10 p.m.
60 Evams Hall
Tarski's Metamathematical Reconstruction
of the Notions of Truth and Logical Consequence
Friday, February 24, 2012
4:10 p.m.
60 Evans Hall