Books on Amazon
logical connectives/Statement linkings/Tarski: not defined in the system of logic by "true" and "false" (truth tables), but using other connectives or undefined - E.g. (p v q) iff. (~ p > q) - 164 statements by terms such as "is equivalent to" - Conditional: no statement linking - instead: equivalence is a linking of statements.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983