Review of Symbolic Logic