التطور المعاصر لنظرية المنطق /
التطور المعاصر لنظرية المنطق / الدكتور ماهر عبد القادر محمد علي - Beirut : Dar al-Nahdah al-'Arabiyah, 1988. - 128 p. ; 24 cm.
Includes bibliographical references and indexes.
Logic, Symbolic and mathematical
Metamathematics
Mathematics--Philosophy