ISBN-13: 9781568812960 / Angielski / Miękka / 2006 / 361 str.
ISBN-13: 9781568812960 / Angielski / Miękka / 2006 / 361 str.
Based on a conference that was held in Tehran, Iran, this collection of papers gives emphasis to model theory and its applications to algebra and formal theories of arithmetic. Other papers address category theory, computability, modal logic, and the history of mathematical logic in Iran.