What logics mean : from proof theory to model-theoretic semantics /
Includes bibliographical references
| Tác giả chính: | |
|---|---|
| Định dạng: | |
| Ngôn ngữ: | eng |
| Được phát hành: |
New York : Cambridge University Press,
2013
|
| Những chủ đề: |
Includes bibliographical references
| Tác giả chính: | |
|---|---|
| Định dạng: | |
| Ngôn ngữ: | eng |
| Được phát hành: |
New York : Cambridge University Press,
2013
|
| Những chủ đề: |