Fundamentals of general logic - Adams E M (1954)