A calculus for finitely satisfiable formulas with identity.
Bullock, Arthur M. ; Schneider, Hubert H.
Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), p. 158-163 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1972-01-01
EUDML-ID : urn:eudml:doc:137877 
@article{GDZPPN002044269,
     title = {A calculus for finitely satisfiable formulas with identity.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {15},
     year = {1972},
     pages = {158-163},
     zbl = {0262.02013},
     url = {http://dml.mathdoc.fr/item/GDZPPN002044269}
}

Bullock, Arthur M.; Schneider, Hubert H. A calculus for finitely satisfiable formulas with identity.. Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972) pp. 158-163. http://gdmltest.u-ga.fr/item/GDZPPN002044269/