You’ve gotten some great suggestions here. I’d make one additional recommendation, eIMACS, for both computer science and mathematical logic. My daughter, also homeschooled, is taking their University Science courses rather than AP CS, and though you’ll have taken the latter, I don’t think it will be redundant:
http://www.eimacs.com/parent_ucs_overview.htm#UCS1
They have a three-course series in Mathermatical Logic, which she is enjoying also:
http://www.eimacs.com/parent_aml_overview.htm?navname=PARENTS&toopen=ul1,ul3&scrolly=277&subnavid=a4