Review: Rudolf Carnap, Notes for Symbolic Logic