Mathematical Logic for Computer Science: Errata

This is a list of known errata for the textbook Mathematical Logic for Computer Science (second edition) by Lu Zhongwan. Please send any additions to cbright.

• Page vi, line -9: Replace mathamatical with mathematical. Curtis Bright
• Page 13, line 5: Replace [2] with [2°]. Curtis Bright
• Page 15, line -3: Replace accordindly with accordingly. Curtis Bright
• Page 22, line -14: Add a space before 'etc'. Curtis Bright
• Page 23, line -9: Remove the space after Form. Curtis Bright
• Page 51, line 5: Start a new line before (3). Curtis Bright
• Page 54, line 9: Replace ¬¬ with ¬¬A. Curtis Bright
• Page 89, line 2: Remove the comma after t₁. Curtis Bright
• Page 111, line 17: Replace ⊢ with ⊦. Curtis Bright