TY  - JOUR
AU  - Schneider, Hubert H.
TI  - Semantics of the predicate calculus with identity and the validity in the empty individual-domain
JO  - Portugaliae mathematica
PY  - 1958
SP  - 85
EP  - 96
VL  - 17
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PORMA_1958__17_3_114803/
LA  - en
ID  - PORMA_1958__17_3_114803
ER  -