Philosophical problems in logic : some recent developments (Synthese library, 1970)