《形式语义学引论》是由蒋严所著，并于2005年6月1日由中国社会科学出版社出版的图书。其ISBN号为9787500420767，属于社会科学书籍，主要介绍了形式语义学的基本内容、主要技巧和方法。该书既可以作为大学语言和语言学专业的高年级本科学生及硕士、博士生的研习、参考用书，也可以为对自然语言分析和处理感兴趣的计算机、数学、哲学、逻辑和人工智能专业的学生提供系统的语义学知识。

此外，该书的装帧为平装，页数为536页，定价为35元，属于当代语言学理论丛书的一部分。需要注意的是，虽然该书在章节安排和内容取舍上力求创新，避免简单地照搬外文教科书，但它并不是一本求稳求全的教材，而是一本讨论性、探索性的论著。

以上信息仅供参考，如需了解更多信息，建议直接阅读《形式语义学引论》原著或访问相关图书推荐平台。