Mits wits and logic - Lieber L R; Lieber H G (New York Norton, 1947)
Keywords: Mathematical logic; Symbolic logic