理学部の一回生だったら、

「数学のロジックと集合論」田中一之、鈴木登志雄　培風館

を俺はすすめたい感じだな。

集合、順序、関係みたいな基本の項目をスルーするせいで、ちゃんとした
証明とかに手が出ない学生が増えてるんじゃないかという気がしてる。