Ambrose, A. & Lazerowitz

Fundamentals of symbolic logic - New yark Rinehart & co. 1948