Metalogic

Readings

• Mendelson, E., Introduction to Mathematical Logic, 6th ed., CRC Press, Boca Ra ton, FL, 2015. Smullyan, R. M., First-order Logic, Dover Publications, New York, NY,
  unspecified