The textbook of logic with available latex source covered by the GNU FDL 1.3 license,