TY  - BOOK
AU  - علي,ماهر عبد القادر محمد
TI  - التطور المعاصر لنظرية المنطق
PY  - 1988///
CY  - Beirut
PB  - Dar al-Nahdah al-'Arabiyah
KW  - Logic, Symbolic and mathematical
KW  - Metamathematics
KW  - Mathematics
KW  - Philosophy
N1  - Includes bibliographical references and indexes
ER  -