Logic partt II demonstrative inference: deductive and inductive - Johnson W E (Cambridge CUP, 1922)
Keywords: Logic