INTRODUCTION TO SYMBOLIC LOGIC - Carney, James D. (Prentice-Hall, Inc., 1970)