A calculus for finitely satisfiable formulas with identity
| العنوان: | A calculus for finitely satisfiable formulas with identity |
|---|---|
| المؤلفون: | Hubert H. Schneider, Arthur M. Bullock |
| المصدر: | Archiv für Mathematische Logik und Grundlagenforschung. 15:158-163 |
| بيانات النشر: | Springer Science and Business Media LLC, 1972. |
| سنة النشر: | 1972 |
| مصطلحات موضوعية: | Algebra, Mathematical logic, Philosophy, Logic, Identity (philosophy), media_common.quotation_subject, Calculus, medicine, Algebra over a field, medicine.disease, Calculus (medicine), Mathematics, media_common |
| تدمد: | 1432-0665 0933-5846 |
| الوصول الحر: | https://explore.openaire.eu/search/publication?articleId=doi_________::93c80e341a5ef6d79071daffe3b05fe5Test https://doi.org/10.1007/bf02008532Test |
| حقوق: | CLOSED |
| رقم الانضمام: | edsair.doi...........93c80e341a5ef6d79071daffe3b05fe5 |
| قاعدة البيانات: | OpenAIRE |
| تدمد: | 14320665 09335846 |
|---|