Logical Languages

Lecture Series / Conference / Course : 
Mathematical Logic for Theoretical Computer Science
Video File: 
Subject: 
TCS
Speaker: 
R Ramanuam
Youtube-url: 
https://youtu.be/fRTRGSdfj1o
Start Time: 
16:00
End Time: 
17:30
Date: 
Tuesday, September 8, 2020 to Wednesday, September 9, 2020
Short Title: 
Logical Languages