This proceedings volume contains research papers in mathematical logic, especially in model theory and its applications to algebra and formal theories of arithmetic. Other papers address interpretability theory, computable analysis, modal logic, and the history of mathematical logic in Iran. The conference was held in Tehran, Iran, in October 2003, with the expressed purpose of bringing together researchers with connections to Iranian logicians and promoting further research in mathematical logic in Iran.
Edited by:
Ali Enayat, Iraj Kalantari, Mojtaba Moniri Imprint: A K Peters Country of Publication: United States Edition: illustrated edition Volume: No. 26 Dimensions:
Height: 229mm,
Width: 152mm,
Weight: 635g ISBN:9781568812953 ISBN 10: 1568812957 Pages: 362 Publication Date:22 May 2006 Audience:
College/higher education
,
Professional and scholarly
,
Professional & Vocational
,
A / AS level
,
Further / Higher Education
Format:Hardback Publisher's Status: Active