Title	Logic Laboratory
Extension no.	202
Location	202
Participating professor	Chung-Wei Lin
Reference link	http://eraser.csie.ntu.edu.tw/