Professor Boyle is super great at proofs and it's a very interesting class but requires a lot of homework and critical thinking. The textbook is free and I learned a lot but at the cost of staying up super late super often
