related to References · 101First-order logic → Ackermann, ACM Transactions, Alfred, American Mathematical Society, Amsterdam, An Introduction, Available, Avigad, Barwise, Berlin, Blackwell, Bocheński, Business Media, California, Chelsea, Chicago, Chicago Press, Classical Logic, Computational Logic, Concise Introduction
related to External links · 25First-order logic → Cambridge Mathematical Tripos, Classical Logic, Computation, Covers, EMS Press, Encyclopedia, Introduction, John Fremlin, Karl, Logic, Magnus, Mathematics, Metamath, Philosophy, Podnieks, Predicate, Principia Mathematica, Set Theory, Shapiro, Stanford Encyclopedia
related to Completeness and undecidability · 14First-order logic → Alan Turing, Alonzo Church, David Hilbert, Entscheidungsproblem, Gödel's, However, If, Kurt Gödel, Naively, Their, This, Thus, Unlike, Wilhelm Ackermann
related to Restricted languages · 12First-order logic → Because, First-order, For, In, It, NAND, NOR, Peirce, Sheffer, Similarly, Since, This
related to Algebraizations · 11First-order logic → Alfred Tarski, An, Cylindric, Lindenbaum, Paul Halmos, Polyadic, Predicate, Tarski, There, This, Willard Quine
related to First-order logic without equality · 10First-order logic → An, If, In, Leibniz's, Löwenheim, Skolem, That, The, This, When
related to Decidable fragments · 9First-order logic → Decidable, Examples, Other, Pratt-Hartmann, Schönfinkel, See, The Bernays, There, These
related to Lindström's theorem · 9First-order logic → Chapter XIII, Ebbinghaus, Flum, He, Lindström, Lindström's, Löwenheim, Per Lindström, Skolem
related to Löwenheim–Skolem theorem · 9First-order logic → For, Löwenheim, One, Since, Skolem, Skolem's, That, The Löwenheim, When
related to Additional quantifiers · 8First-order logic → Additional, Also, Bounded, First-order, George Boolos, Qx, Sometimes, This
