You are looking at an archived page. The website has moved to richardzach.org.
Theorem(e)'s, that is, Henri Galinon's, page of links to free, online logic textbooks and survey texts has moved and is now updated.