Geodesic
A calculus for finitely satisfiable formulas with identity.
Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), pp. 158-163.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

@article{AMLG_1972__15_137877,
     author = {Arthur M. Bullock and Hubert H. Schneider},
     title = {A calculus for finitely satisfiable formulas with identity.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {158--163},
     publisher = {mathdoc},
     volume = {15},
     year = {1972},
     zbl = {0262.02013},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1972__15_137877/}
}
TY  - JOUR
AU  - Arthur M. Bullock
AU  - Hubert H. Schneider
TI  - A calculus for finitely satisfiable formulas with identity.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1972
SP  - 158
EP  - 163
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1972__15_137877/
ID  - AMLG_1972__15_137877
ER  - 
%0 Journal Article
%A Arthur M. Bullock
%A Hubert H. Schneider
%T A calculus for finitely satisfiable formulas with identity.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1972
%P 158-163
%V 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1972__15_137877/
%F AMLG_1972__15_137877
Arthur M. Bullock; Hubert H. Schneider. A calculus for finitely satisfiable formulas with identity.. Archiv für mathematische Logik und Grundlagenforschung, Tome 15 (1972), pp. 158-163. http://geodesic.mathdoc.fr/item/AMLG_1972__15_137877/