topmfd@tg
says to
電訊台
Stanford 的logic course 很出名