The birth of proof modality and deductive reasoning

Lecture Series / Conference / Course : 
ICLA International Conference on Logic and its Applications
Subject: 
TCS
Speaker: 
Adriane Rini
Youtube-url: 
https://youtu.be/fzRo06Rcu2I
Date: 
Friday, January 11, 2013