Title: The Big Typescript, TS. 213
Subjects: Mathematics, Philosophy, Symbolic and mathematical Logic, Semantics (Philosophy), Logic, symbolic and mathematical, Mathematics, philosophy