Title: The Big Typescript: TS 213
First published: 2005
Subjects: Logic, Symbolic and mathematical, Mathematics, Philosophy, Semantics (Philosophy), Symbolic and mathematical Logic
LC classification: B3376.W563 B4713 2005