TY  - BOOK
AU  - محمد، ماهر عبد القادر
TI  - نظريات المنطق الرياضي
U1  - 164 
PY  - 1988///
CY  - الإسكندرية
PB  - دار المعرفة الجامعية
KW  - المنطق الرمزى
KW  - المنطق الرياضي
ER  -