Time: Tuesday, 10:45-12:15.
Place: Classroom 1, 12th floor, National Center of Sciences Building.
Raymond M. Smullyan. First-Order Logic. New York: Dover. 1995. (A corrected republication of his 1968 book.) Available from amazon.co.jp. (Chapters I through V.)
Stephen G. Simpson. Mathematical Logic. Online lecture notes. 2011. (Chapters 1 and 2.) http://www.math.psu.edu/simpson/notes/logic.pdf
Last modified: 2018-04-05 16:52:05 JST