First Order Logic: Syntax

Primary tabs

Lecture Series / Conference / Course : 
Mathematical Logic for Theoretical Computer Science
Video File: 
Subject: 
TCS
Speaker: 
R Ramanujam
Youtube-url: 
https://youtu.be/qSzGgHajqFM
Start Time: 
16:00
End Time: 
17:30
Date: 
Thursday, September 10, 2020
Short Title: 
First Order Logic: Syntax