User Manual, Lecture notes [Jun 7, 2012]

- User Manual: Only a Korean edtion is avalable at this moment. An English edtion will be prepared in several months. Meanwhile, please refer to the [Help] pages. If you want the Korean edtion of the User Manual, then visit here.
- Lecture notes: The following list was obtained from http://unjobs.org/tags/mathematical-logic. All are in English and in PDF format.
Mathematical Logic, Stephen G. Simpson, The Penn State Univ.

Elements of Mathematical Logic, Michael Meyling, Hilbert II(www.qedeq.org)

Mathematical Logic and Computability, J.Keisler, K. Kunen, T. Millar, A. Miller, J. Robbin

Mathematical Logic and Sets, Michael Dougherty

Lecture Notes on Mathematical Logic, Vladimir Lifschitz, U. of Texas at Austin

Mathematical Logic, Helmut Schwichtenberg, Mathematisches Institut der Universität München