Language and Logics An Introduction to the Logical Foundations of Language
Chapter 1 Meaning and Logic -- PART I The Classical Picture -- Chapter 2 Truth Table Logic -- Chapter 3 Predicates -- Chapter 4 Quantifiers -- Chapter 5 Functions: The Lambda Calculus -- PART II Modality -- Chapter 6 Possibility and Necessity -- chapter 7 Worlds and Individuals -- PART III Negatio...
Đã lưu trong:
Tác giả chính: | |
---|---|
Định dạng: | Sách |
Ngôn ngữ: | Undetermined |
Được phát hành: |
Edinburgh
Edinburgh University Press
2015
|
Những chủ đề: | |
Truy cập trực tuyến: | http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=28684 |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Thủ Dầu Một |
---|
LEADER | 01344nam a2200217Ia 4500 | ||
---|---|---|---|
001 | TDMU_28684 | ||
008 | 210410s9999 xx 000 0 und d | ||
082 | |a 382.6028 | ||
090 | |b GR201 | ||
100 | |a Gregory, Howard | ||
245 | 0 | |a Language and Logics | |
245 | 3 | |b An Introduction to the Logical Foundations of Language | |
245 | 0 | |c Howard Gregory | |
260 | |a Edinburgh | ||
260 | |b Edinburgh University Press | ||
260 | |c 2015 | ||
300 | |a viii, 330 p. | ||
520 | |a Chapter 1 Meaning and Logic -- PART I The Classical Picture -- Chapter 2 Truth Table Logic -- Chapter 3 Predicates -- Chapter 4 Quantifiers -- Chapter 5 Functions: The Lambda Calculus -- PART II Modality -- Chapter 6 Possibility and Necessity -- chapter 7 Worlds and Individuals -- PART III Negation and Partiality -- Chapter 8 Many Valued Logics -- Chapter 9 Situations and Information -- Chapter 10 Intuitionism and Constructive Proof -- PART IV Substructural Logics and Categorial Grammar -- Chapter 11 Relevance, Resources and Order -- Chapter 12 Grammar as Logic -- Chapter 13 Combinators; Includes bibliographical references (pages 302-309) and index | ||
650 | |a Language and logic; Ngôn ngữ và logic | ||
856 | |u http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=28684 | ||
980 | |a Trung tâm Học liệu Trường Đại học Thủ Dầu Một |