Publié le : 1964-01-01
EUDML-ID :
urn:eudml:doc:137777
@article{GDZPPN002043254,
title = {Ein neuer Beweis f\"ur die Entscheidbarkeit des einstelligen Pr\"adikatenkalk\"uls mit Identit\"at.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
volume = {7},
year = {1964},
pages = {128-138},
language = {de},
url = {http://dml.mathdoc.fr/item/GDZPPN002043254}
}
Jensen, Ronald Björn. Ein neuer Beweis für die Entscheidbarkeit des einstelligen Prädikatenkalküls mit Identität.. Archiv für mathematische Logik und Grundlagenforschung, Tome 7 (1964) pp. 128-138. http://gdmltest.u-ga.fr/item/GDZPPN002043254/