Rudiments of First-Order Logic (FO)

This publication has 22 references indexed in Scilit:

• On Tarski's formalization of predicate logic with identity
  Archive for Mathematical Logic, 1965
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
  The Journal of Symbolic Logic, 1957
• On sentences which are true of direct unions of algebras
  The Journal of Symbolic Logic, 1951
• The completeness of the first-order functional calculus
  The Journal of Symbolic Logic, 1949
• Concatenation as a basis for arithmetic
  The Journal of Symbolic Logic, 1946
• A variant of a recursively unsolvable problem
  Bulletin of the American Mathematical Society, 1946
• Extensions of some theorems of Gödel and Church
  The Journal of Symbolic Logic, 1936
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
  Monatshefte für Mathematik, 1931
• Die Vollständigkeit der Axiome des logischen Funktionenkalküls
  Monatshefte für Mathematik, 1930