Strong Completeness of a Pure Free Logic

Ermanno Bencivenga. Strong Completeness of a Pure Free Logic. Math. Log. Q., 31(1-6):35-38, 1985. [doi]

Abstract

Abstract is missing.