The substitutional theory of logical consequence

Abstract not yet added