Logic and time
暂无分享，去创建一个
We may not be able to make you love reading, but logic and time will lead you to love reading starting from now. Book is the window to open the new world. The world that you want is in the better stage and level. World will always guide you to even the prestige stage of the life. You know, this is some of how reading will give you the kindness. In this case, more books you read more knowledge you know, but it can mean also the bore is full.
[1] K. Gödel. An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation , 1949 .
[2] M. Rabin. Decidability of second-order theories and automata on infinite trees. , 1969 .
[3] D. Gabbay. MODEL THEORY FOR TENSE LOGICS , 1975 .
[4] Steven K. Thomason,et al. Reduction of second-order logic to modal logic , 1975, Math. Log. Q..
[5] D. Gabbay. Decidability results in non-classical logics: Part I , 1975 .