Đang tải...
Handbook of philosophical logic : volume 15 /
Lambda calculi: a guide interpolation and definability discourse representation theory. Editorial preface -- Dov M. Gabbay -- Lambda calculi: a guide -- Chris Hankin -- Interpolation and definability -- Dov Gabbay and Larisa L. Maksimova -- Discourse representation theory -- Hans Kamp, Josef van Gen...
Đã lưu trong:
| Những tác giả chính: | , |
|---|---|
| Định dạng: | Livro |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
Springer Netherlands :
2011
Imprint: Springer, |
| Phiên bản: | 2nd ed. 2011. |
| Loạt: | Handbook of philosophical logic ; |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://minerva.ufrj.br/F/?func=direct&doc_number=000897348&local_base=UFR01 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|