Second-order logic (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Second-order logic" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

26^th place

20^th place

2semanticscholar.org

11^th place

8^th place

2books.google.com

3^rd place

3^rd place

1washington.edu

1,067^th place

749^th place

179^th place

183^rd place

1web.archive.org

1^st place

1^st place

207^th place

136^th place

1,670^th place

2,355^th place

books.google.com

Quine 1970, p. 90–91. Quine, W. V. (1970). Philosophy of Logic. Prentice Hall. ISBN 9780674665637.
Manzano, M., Model Theory, trans. Ruy J. G. B. de Queiroz (Oxford: Clarendon Press, 1999), p. xi.

doi.org

These are the models originally studied by Henkin (1950). Henkin, L. (1950). "Completeness in the theory of types". Journal of Symbolic Logic. 15 (2): 81–91. doi:10.2307/2266967. JSTOR 2266967. S2CID 36309665.
Väänänen 2001. Väänänen, J. (2001). "Second-Order Logic and Foundations of Mathematics" (PDF). Bulletin of Symbolic Logic. 7 (4): 504–520. CiteSeerX 10.1.1.25.5579. doi:10.2307/2687796. JSTOR 2687796. S2CID 7465054. Archived from the original (PDF) on 8 October 2023.

helsinki.fi

math.helsinki.fi

Väänänen 2001. Väänänen, J. (2001). "Second-Order Logic and Foundations of Mathematics" (PDF). Bulletin of Symbolic Logic. 7 (4): 504–520. CiteSeerX 10.1.1.25.5579. doi:10.2307/2687796. JSTOR 2687796. S2CID 7465054. Archived from the original (PDF) on 8 October 2023.

jstor.org

These are the models originally studied by Henkin (1950). Henkin, L. (1950). "Completeness in the theory of types". Journal of Symbolic Logic. 15 (2): 81–91. doi:10.2307/2266967. JSTOR 2266967. S2CID 36309665.
Väänänen 2001. Väänänen, J. (2001). "Second-Order Logic and Foundations of Mathematics" (PDF). Bulletin of Symbolic Logic. 7 (4): 504–520. CiteSeerX 10.1.1.25.5579. doi:10.2307/2687796. JSTOR 2687796. S2CID 7465054. Archived from the original (PDF) on 8 October 2023.

psu.edu

citeseerx.ist.psu.edu

Väänänen 2001. Väänänen, J. (2001). "Second-Order Logic and Foundations of Mathematics" (PDF). Bulletin of Symbolic Logic. 7 (4): 504–520. CiteSeerX 10.1.1.25.5579. doi:10.2307/2687796. JSTOR 2687796. S2CID 7465054. Archived from the original (PDF) on 8 October 2023.

semanticscholar.org

api.semanticscholar.org

These are the models originally studied by Henkin (1950). Henkin, L. (1950). "Completeness in the theory of types". Journal of Symbolic Logic. 15 (2): 81–91. doi:10.2307/2266967. JSTOR 2266967. S2CID 36309665.
Väänänen 2001. Väänänen, J. (2001). "Second-Order Logic and Foundations of Mathematics" (PDF). Bulletin of Symbolic Logic. 7 (4): 504–520. CiteSeerX 10.1.1.25.5579. doi:10.2307/2687796. JSTOR 2687796. S2CID 7465054. Archived from the original (PDF) on 8 October 2023.

stanford.edu

plato.stanford.edu

Väänänen, Jouko (2021), "Second-order and Higher-order Logic", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Fall 2021 ed.), Metaphysics Research Lab, Stanford University, retrieved 2022-05-03

washington.edu

faculty.washington.edu

Marc Cohen, S. (2007). "Second Order Logic" (PDF). Philosophy 120A - Introduction to Logic.

web.archive.org

Väänänen 2001. Väänänen, J. (2001). "Second-Order Logic and Foundations of Mathematics" (PDF). Bulletin of Symbolic Logic. 7 (4): 504–520. CiteSeerX 10.1.1.25.5579. doi:10.2307/2687796. JSTOR 2687796. S2CID 7465054. Archived from the original (PDF) on 8 October 2023.