First-order logic (English Wikipedia)

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.
Hans Hermes (1973). Introduction to Mathematical Logic. Hochschultext (Springer-Verlag). London: Springer. ISBN 3540058192. ISSN 1431-4657.
Bergmann, Eberhard; Noll, Helga (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.
Takeuti, G., Proof Theory (Garden City, New York: Dover Publications, 2013), p. 6.
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, New York: Dover, 1995), p. 199.
Enderton, H. A Mathematical Introduction to Logic, second edition. Academic Press, 2001, pp.296–299.
Fitting, Melvin (6 December 2012). First-Order Logic and Automated Theorem Proving. Springer Science & Business Media. ISBN 978-1-4612-2360-3.

bpb-us-w2.wpmucdn.com (Global: low place; English: low place)

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

brilliant.org (Global: low place; English: low place)

"Predicate Logic". Brilliant. Retrieved 2020-08-20.

cmu.edu (Global: 2,125^th place; English: 1,347^th place)

cs.cmu.edu

Pfenning, Frank. "15-815 Automated Theorem Proving". Carnegie Mellon University. Retrieved 2024-01-10.

doi.org (Global: 2^nd place; English: 2^nd place)

Avigad et al. (2007) discuss the process of formally verifying a proof of the prime number theorem. The formalized proof required approximately 30,000 lines of input to the Isabelle proof verifier. Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul (2007). "A formally verified proof of the prime number theorem". ACM Transactions on Computational Logic. 9 (1) 2. doi:10.1145/1297658.1297660.

google.com (Global: 109^th place; English: 87^th place)

Quine, W. V. O., Mathematical Logic (1981). Harvard University Press, 0-674-55451-5.

hal.science (Global: 2,005^th place; English: 1,689^th place)

inria.hal.science

Voigt, Marco (2019-07-31). "3. Novel First-Order Fragments with a Decidable Satisfiability Problem". Decidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted Predicates (PhD thesis). Universität des Saarlandes.

ox.ac.uk (Global: 541^st place; English: 356^th place)

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 (Global: low place; English: low place)

cstl-cla.semo.edu

"Introduction to Symbolic Logic: Lecture 2". cstl-cla.semo.edu. Archived from the original on 2021-04-15. Retrieved 2021-01-04.

sju.edu (Global: low place; English: low place)

directory.sju.edu

Hodgson, J. P. E., Professor Emeritus ("First Order Logic"), Saint Joseph's University, Philadelphia, 1995.

sri.com (Global: low place; English: low place)

pvs.csl.sri.com

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

stanford.edu (Global: 194^th place; English: 182^nd place)

plato.stanford.edu

Ewald, William (2019), Zalta, Edward N. (ed.), "The Emergence of First-Order Logic", The Stanford Encyclopedia of Philosophy (Spring 2019 ed.), Metaphysics Research Lab, Stanford University, retrieved 2026-06-27
Uzquiano, Gabriel (October 17, 2018). "Quantifiers and Quantification". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy (Winter 2018 ed.). ISSN 1095-5054. OCLC 429049174. See in particular section 3.2, Many-Sorted Quantification.

web.archive.org (Global: 1^st place; English: 1^st place)

Hodgson, J. P. E., Professor Emeritus ("First Order Logic"), Saint Joseph's University, Philadelphia, 1995.
"Introduction to Symbolic Logic: Lecture 2". cstl-cla.semo.edu. Archived from the original on 2021-04-15. Retrieved 2021-01-04.
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 (Global: 4^th place; English: 4^th place)

search.worldcat.org

Hans Hermes (1973). Introduction to Mathematical Logic. Hochschultext (Springer-Verlag). London: Springer. ISBN 3540058192. ISSN 1431-4657.
Uzquiano, Gabriel (October 17, 2018). "Quantifiers and Quantification". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy (Winter 2018 ed.). ISSN 1095-5054. OCLC 429049174. See in particular section 3.2, Many-Sorted Quantification.

zbmath.org (Global: 2,089^th place; English: 1,141^st place)

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.

First-order logic (English Wikipedia)

books.google.com (Global: 3rd place; English: 3rd place)

bpb-us-w2.wpmucdn.com (Global: low place; English: low place)

brilliant.org (Global: low place; English: low place)

cmu.edu (Global: 2,125th place; English: 1,347th place)

cs.cmu.edu

doi.org (Global: 2nd place; English: 2nd place)

google.com (Global: 109th place; English: 87th place)

hal.science (Global: 2,005th place; English: 1,689th place)

inria.hal.science

ox.ac.uk (Global: 541st place; English: 356th place)

cs.ox.ac.uk

semo.edu (Global: low place; English: low place)

cstl-cla.semo.edu

sju.edu (Global: low place; English: low place)

directory.sju.edu

sri.com (Global: low place; English: low place)

pvs.csl.sri.com

stanford.edu (Global: 194th place; English: 182nd place)

plato.stanford.edu

web.archive.org (Global: 1st place; English: 1st place)

worldcat.org (Global: 4th place; English: 4th place)

search.worldcat.org

zbmath.org (Global: 2,089th place; English: 1,141st place)

books.google.com (Global: 3^rd place; English: 3^rd place)

cmu.edu (Global: 2,125^th place; English: 1,347^th place)

doi.org (Global: 2^nd place; English: 2^nd place)

google.com (Global: 109^th place; English: 87^th place)

hal.science (Global: 2,005^th place; English: 1,689^th place)

ox.ac.uk (Global: 541^st place; English: 356^th place)

stanford.edu (Global: 194^th place; English: 182^nd place)

web.archive.org (Global: 1^st place; English: 1^st place)

worldcat.org (Global: 4^th place; English: 4^th place)

zbmath.org (Global: 2,089^th place; English: 1,141^st place)