أسس الرياضيات

This course is concerned with the study of mathematical logic, methods of proof, sets, relations, functions, and binary operations.