Classical Logic II: Higher‐Order Logic
暂无分享，去创建一个
[1] M. White,et al. A Philosophical Letter of Alfred Tarski , 1987 .
[2] Nino B. Cocchiarella,et al. Predication versus membership in the distinction between logic as language and logic as calculus , 1988, Synthese.
[3] G. Kreisel. Informal Rigour and Completeness Proofs , 1967 .
[4] Stewart Shapiro. Systems between First-Order and Second-Order Logics , 2001 .
[5] Ignacio Jané. A critical appraisal of second-order logic , 1993 .
[6] Jon Barwise,et al. Model-Theoretic Logics , 2016 .
[7] John Cowles. The Relative Expressive Power of Some Logics Extending First-Order Logic , 1979, J. Symb. Log..
[8] Stewart Shapiro,et al. Do Not Claim Too Much: Second-order Logic and First-order Logic , 1999 .
[9] R. Montague,et al. Set Theory and Higher-Order Logic , 1965 .
[10] Per Lindström,et al. On Extensions of Elementary Logic , 2008 .
[11] Leslie H. Tharp. Which logic is the right logic? , 2004, Synthese.
[12] D. Isaacson,et al. Arithmetical truth and hidden higher-order concepts , 1985, Logic Colloquium.
[13] Gregory H. Moore. Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory , 1980 .
[14] Jon Barwise,et al. Model-Theoretic Logics: Background and Aims , 2016 .
[15] Leon Henkin,et al. Completeness in the theory of types , 1950, Journal of Symbolic Logic.