This proceedings volume contains research papers in mathematical logic, especially in model theory and its applications to algebra and formal theories of arithmetic
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.
Get Logic in Tehran by at the best price and quality guranteed only at Werezi Africa largest book ecommerce store. The book was published by Taylor & Francis Inc and it has pages. Enjoy Shopping Best Offers & Deals on books Online from Werezi - Receive at your doorstep - Fast Delivery - Secure mode of Payment