Mathematical logic is a branch of mathematics that deals ... This research not only addresses gaps in previous proofs but also introduces new model-theoretical characterizations that further ...

Logic and mathematics are tools for almost all members of the Department, but they are also objects of investigation. As tools they provide means of rigorously capturing aspects of experience; as ...