Elementary logic - Resnik, Michael D. (1970)