Remarks on predicate logic with infinitely long expressions

Alfred Tarski

Colloquium Mathematicum · 1958 · 102 citations · 0 references

DOIFull text

Open access

Concepts