《邏輯和語言手冊》是匯集20世紀70年代以來自然語言邏輯研究成果的大型丁具書。荷蘭邏輯學家範本瑟姆和語言哲學家特米倫主編，33名國際卜著名的邏輯學家、語言哲學家及計算機人工智慧專家參與撰稿，美國麻省理工學院出版社1997年出版。該書揭示了當前邏輯和語言交叉研究層面l葉J現的主要趨勢及其對計算機科學、語言學理論和認知科學產生的廣泛影響。全書分為三個部分。
第一部分是對20世紀70年代以來自然語言邏輯一些重要理論的介紹，包括蒙塔古語法、範疇類型邏輯、話語表現理論、情境理論、管轄和約束理論、博弈論語義學六個理論。第二部分選擇了影響較大的專題研究，包括組合原則、特徵邏輯、類型論、動態語義學、偏序、數理語言學和證明論、形式學習理論、語言學巾的非對稱性八個專題研究。第三部分主要關注能夠激發邏輯理論創新的一些重要的語言問題：在語言學和邏輯學中的廣義量詞、時間性、預設、複數與聚合、質疑、概稱和預設六個問題。該書力圖說明在邏輯和自然語言交叉層面的研究中，邏輯系統如何被設計和修改以適應刻畫自然語言的需要，並且在上述過程中數學理論怎樣產生以及它們對後續的語言學理論發展的影響。
