01321 a2200289 4500 1568812965 20250317100406.0 250312042006xx eng 9781568812960 Taylor & Francis GBP 29.99 BB 01 eng PBD thema PBCH thema PBD bic PBCH bic MAT000000 bisac MAT028000 bisac Ali Enayat Logic in Tehran Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26 1 A K Peters/CRC Press 20060522 362 p 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. Iraj Kalantari B01 Mojtaba Moniri B01 1791 1791