TY  - JOUR
AU  - Schneider, Hubert H.
TI  - A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains
JO  - Portugaliae mathematica
PY  - 1961
SP  - 105
EP  - 117
VL  - 20
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PORMA_1961__20_2_114856/
LA  - en
ID  - PORMA_1961__20_2_114856
ER  -