Logic Seminar: Jack Yoon

When:
April 28, 2017 @ 2:30 pm – 3:30 pm
2017-04-28T14:30:00-10:00
2017-04-28T15:30:00-10:00
Where:
Keller 404

Jack Yoon will continue his explication of Proof Mining.