Columbia subject headings:
Formal languages--Semantics.
Frege, Gottlob, 1848-1925.
Logic, Symbolic and mathematical.
Model theory.
Wittgenstein, Ludwig, 1889-1951.
Harvard subject headings:
Formal languages--Semantics.
Frege, Gottlob, 1848-1925.
Logic, Symbolic and mathematical.
Mathematics--Philosophy
Model theory.
Wittgenstein, Ludwig, 1889-1951
Princeton subject headings:
Formal languages--Semantics.
Frege, Gottlob, 1848-1925.
Logic, Symbolic and mathematical.
Model theory.
Wittgenstein, Ludwig, 1889-1951.