情報系の1,2回生には、とりあえず俺の経験によると

「情報科学における論理」小野 寛晰 日本評論社

を勧めておけば、まず間違いはない