Logic for BI, CS and CSE students (and some CS)