Publisher
Springer Science and Business Media LLC
Reference20 articles.
1. Dawar A.: Generalized quantifiers and logical reducibilities. J. Log. Comput. 5(2), 213–226 (1995)
2. Ebbinghaus, H.D.: Extended logics: the general framework. In: Model-Theoretic Logics, Perspect. Math. Logic, pp. 25–76. Springer, New York (1985)
3. Graham R.L., Rothschild B.L., Spencer J.H.: Ramsey Theory. 2nd edn. Wiley-Interscience Series in Discrete Mathematics and Optimization. Wiley, New York (1990) (A Wiley-Interscience Publication)
4. Gurevich, Y.: Toward logic tailored for computational complexity. In: Computation and Proof Theory (Aachen, 1983), Lecture Notes in Math., vol. 1104, pp. 175–216. Springer, Berlin (1984). doi: 10.1007/BFb0099486 . http://dx.doi.org/10.1007/BFb0099486
5. Gurevich, Y.: Logic and the challenge of computer science. In: Trends in Theoretical Computer Science (Udine, 1984), Principles Comput. Sci. Ser., vol. 12, pp. 1–57. Computer Sci. Press, Rockville, MD (1988)