Logic in 1958
Formale Logik
by
Lorenzen, Paul
Symbolic Logic and the Game of Logic
by
Carroll, Lewis