Logic in Tehran (Record no. 1791)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01321 a2200289 4500 |
| 001 - CONTROL NUMBER | |
| control field | 1568812965 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250317100406.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250312042006xx eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781568812960 |
| 037 ## - SOURCE OF ACQUISITION | |
| Source of stock number/acquisition | Taylor & Francis |
| Terms of availability | GBP 29.99 |
| Form of issue | BB |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | 01 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 072 7# - SUBJECT CATEGORY CODE | |
| Subject category code | PBD |
| Source | thema |
| 072 7# - SUBJECT CATEGORY CODE | |
| Subject category code | PBCH |
| Source | thema |
| 072 7# - SUBJECT CATEGORY CODE | |
| Subject category code | PBD |
| Source | bic |
| 072 7# - SUBJECT CATEGORY CODE | |
| Subject category code | PBCH |
| Source | bic |
| 072 7# - SUBJECT CATEGORY CODE | |
| Subject category code | MAT000000 |
| Source | bisac |
| 072 7# - SUBJECT CATEGORY CODE | |
| Subject category code | MAT028000 |
| Source | bisac |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Ali Enayat |
| 245 10 - TITLE STATEMENT | |
| Title | Logic in Tehran |
| Remainder of title | Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26 |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | A K Peters/CRC Press |
| Date of publication, distribution, etc. | 20060522 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 362 p |
| 520 ## - SUMMARY, ETC. | |
| Expansion of summary note | 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. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Iraj Kalantari |
| Relationship | B01 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Mojtaba Moniri |
| Relationship | B01 |
No items available.