A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains
Portugaliae mathematica, Tome 20 (1961) no. 2, pp. 105-117
Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{PORMA_1961__20_2_114856,
author = {Schneider, Hubert H.},
title = {A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains},
journal = {Portugaliae mathematica},
pages = {105--117},
publisher = {mathdoc},
volume = {20},
number = {2},
year = {1961},
mrnumber = {0186533},
zbl = {0097.24502},
language = {en},
url = {http://geodesic.mathdoc.fr/item/PORMA_1961__20_2_114856/}
}
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 -
%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
Schneider, Hubert H. A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains. Portugaliae mathematica, Tome 20 (1961) no. 2, pp. 105-117. http://geodesic.mathdoc.fr/item/PORMA_1961__20_2_114856/