Logic the theory of formal inference - Ambrose Alice; Lazerowitz Morris (New york Holt Rinehart & Winston, 1961)
Keywords: Mathematical logic; Symbolic logic