Ernest Schimmerling ; Basic and Intermediate Logic ; Chapter 1 exercises
Online textbook for Basic and Intermediate Logic
Exercises for Chapter 1
Exercise 1.1
Prove Lemma 1.3.
Exercise 1.2
Prove Lemma 1.4.
Exercise 1.3
Prove Lemma 1.5.
Exercise 1.4
Prove Lemma 1.6.
Link to additional Chapter 1 exercises on induction and recursion
[PDF]