Bulletin of the American Mathematical Society · 1961 · 17 citations · 2 references
Natural SciencesComputer ScienceMathematicsAlgebraSyntaxTheory Of ComputationChurch-turing ThesisModel TheoryRecurrence RelationsRecursion TheoryTransfinite InductionTransfinite RecursionRecursionRecursive SetsTransfinite Recursive Sequences
2
Remarks on predicate logic with infinitely long expressions
Alfred Tarski · Colloquium Mathematicum · 1958 · 102 citations · Full text