Logic In Tehran: Proceedings Of The Workshop And Conference On Logic, Algebra, And Arithmetic, Held October 18-22, 2003, Lecture Notes In Logic 26
by Ali Enayat /
2006 / English / PDF
111.7 MB Download
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.
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.
