Sider has a draft of his logic book up on his website (all 367 pages).
You may also find this site useful (a collection of links to logic courses) : http://henri.galinon.free.fr/philform/cours.htm
Front Page Recently Submitted Comments
You may also find this site
Cedric Eyssette 1 year 12 weeks 4 hours 7 min ago
You may also find this site useful (a collection of links to logic courses) :
http://henri.galinon.free.fr/philform/cours.htm