Advanced logic for applications

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Grandy, Richard E.
التنسيق:	كتاب
اللغة:	English
منشور في:	Dordrecht D. Reidel c1979.
سلاسل:	Synthese library v. 110
الموضوعات:	Logic, Symbolic and mathematical.