Publié le : 1983-01-01
EUDML-ID :
urn:eudml:doc:138011
@article{GDZPPN002045605,
title = {Set theory in predicate calculus with equality},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
volume = {23},
year = {1983},
pages = {109-114},
url = {http://dml.mathdoc.fr/item/GDZPPN002045605}
}
Bunder, M.W. Set theory in predicate calculus with equality. Archiv für mathematische Logik und Grundlagenforschung, Tome 23 (1983) pp. 109-114. http://gdmltest.u-ga.fr/item/GDZPPN002045605/