Spring 2013: Introduction to the Foundations of Informatics I (Mathematical Logic)

Time: Tuesday, 10:45-12:15.
Place: Classroom 1, 12th floor, National Center of Sciences Building.


Mathematical Logic


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: 2013-05-21 10:39:11 JST