NPTEL Video Course : Logic for CS
Lecture 23 - Predicate Logic: Proof Theory (Continued...)
Home
Previous
Next
Thumbnails