%0 Journal Article %A Schneider, Hubert H. %T A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains %J Portugaliae mathematica %D 1961 %P 105-117 %V 20 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/PORMA_1961__20_2_114856/ %G en %F PORMA_1961__20_2_114856