Collected reprints semantics (1949)
Keywords: P:4x