User Manual, Lecture notes [Jun 7, 2012]
[Home of Proofmood]
- 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