First-order logic (English Wikipedia)

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

refsWebsite

Global rank English rank

11books.google.com

3^rd place

2web.archive.org

1^st place

1sju.edu

low place

1wpmucdn.com

low place

1brilliant.org

low place

8,871^st place

1semo.edu

low place

1google.com

163^rd place

185^th place

1worldcat.org

5^th place

1sri.com

low place

1ox.ac.uk

613^th place

456^th place

1stanford.edu

179^th place

183^rd place

1zbmath.org

1,923^rd place

1,068^th place

1cmu.edu

1,564^th place

1,028^th place

books.google.com

Hughes, G. E., & Cresswell, M. J., A New Introduction to Modal Logic (London: Routledge, 1996), p.161.
Mendelson, E. (1964). Introduction to Mathematical Logic. Van Nostrand Reinhold. p. 56.
Goertzel, B., Geisweiller, N., Coelho, L., Janičić, P., & Pennachin, C., Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference (Amsterdam & Paris: Atlantis Press, 2011), pp. 29–30.
Eberhard Bergmann and Helga Noll (1977). Mathematische Logik mit Informatik-Anwendungen. Heidelberger Taschenbücher, Sammlung Informatik (in German). Vol. 187. Heidelberg: Springer. pp. 300–302.
Smullyan, R. M., First-order Logic (New York: Dover Publications, 1968), p. 5.
Rogers, R. L., Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results (Amsterdam/London: North-Holland Publishing Company, 1971), p. 39.
Brink, C., Kahl, W., & Schmidt, G., eds., Relational Methods in Computer Science (Berlin / Heidelberg: Springer, 1997), pp. 32–33.
Fitting, M., First-Order Logic and Automated Theorem Proving (Berlin/Heidelberg: Springer, 1990), pp. 198–200.
Hodel, R. E., An Introduction to Mathematical Logic (Mineola NY: Dover, 1995), p. 199.
Enderton, H. A Mathematical Introduction to Logic, second edition. Academic Press, 2001, pp.296–299.
Melvin Fitting (6 December 2012). First-Order Logic and Automated Theorem Proving. Springer Science & Business Media. ISBN 978-1-4612-2360-3.

brilliant.org

"Predicate Logic | Brilliant Math & Science Wiki". brilliant.org. Retrieved 2020-08-20.

cmu.edu

cs.cmu.edu

"15-815 Automated Theorem Proving". www.cs.cmu.edu. Retrieved 2024-01-10.

google.com

Hans Hermes (1973). Introduction to Mathematical Logic. Hochschultext (Springer-Verlag). London: Springer. ISBN 3540058192. ISSN 1431-4657.

ox.ac.uk

cs.ox.ac.uk

Horrocks, Ian (2010). "Description Logic: A Formal Foundation for Languages and Tools" (PDF). Slide 22. Archived (PDF) from the original on 2015-09-06.

semo.edu

cstl-cla.semo.edu

"Introduction to Symbolic Logic: Lecture 2". cstl-cla.semo.edu. Retrieved 2021-01-04.

sju.edu

people.sju.edu

Hodgson, Dr. J. P. E., "First Order Logic" (archive.org), Saint Joseph's University, Philadelphia, 1995.

sri.com

pvs.csl.sri.com

Shankar, N., Owre, S., Rushby, J. M., & Stringer-Calvert, D. W. J., PVS Prover Guide 7.1 (Menlo Park: SRI International, August 2020).

stanford.edu

plato.stanford.edu

Uzquiano, Gabriel (October 17, 2018). "Quantifiers and Quantification". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy (Winter 2018 ed.). See in particular section 3.2, Many-Sorted Quantification.

web.archive.org

Hodgson, Dr. J. P. E., "First Order Logic" (archive.org), Saint Joseph's University, Philadelphia, 1995.
Horrocks, Ian (2010). "Description Logic: A Formal Foundation for Languages and Tools" (PDF). Slide 22. Archived (PDF) from the original on 2015-09-06.

worldcat.org

search.worldcat.org

Hans Hermes (1973). Introduction to Mathematical Logic. Hochschultext (Springer-Verlag). London: Springer. ISBN 3540058192. ISSN 1431-4657.

wpmucdn.com

bpb-us-w2.wpmucdn.com

H. Friedman, "Adventures in Foundations of Mathematics 1: Logical Reasoning", Ross Program 2022, lecture notes. Accessed 28 July 2023.

zbmath.org

Bosse, Uwe (1993). "An Ehrenfeucht–Fraïssé game for fixpoint logic and stratified fixpoint logic". In Börger, Egon (ed.). Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers. Lecture Notes in Computer Science. Vol. 702. Springer-Verlag. pp. 100–114. ISBN 3-540-56992-8. Zbl 0808.03024.