Exercises for § 3. Logical theories

Bourbaki sets these at the end of § 3. Logical theories.

5 exercises. No solution has been written for any of them yet.

• Exercise 1
• Exercise 2
• Exercise 3
• Exercise 4
• Exercise 5