2012 Alfred Tarski Lectures scheduled for February 21st, 22nd, and 24th, with Per Martin-Löf
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
