Type-Logical Semantics / Type-Logical Semantics
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Publicat: |
Cambridge :
MIT Press,
1997
|
| Edició: | 1st ed. |
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 144467 | ||
| 005 | 20261026014931.0 | ||
| 040 | |a BD-SaJUCL |b eng |e rda |c BD-SaJUCL | ||
| 100 | 1 | |a Carpenter, Bob | |
| 245 | 1 | 0 | |a Type-Logical Semantics / |b Type-Logical Semantics |c Bob Carpenter |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Cambridge : |b MIT Press, |c 1997 | |
| 300 | |a 592 p. | ||
| 504 | |a Formal semantics and logic. | ||
| 020 | |a 0-262-53149-6 | ||
| 082 | 0 | 4 | |a 401.43 |b C295t |2 23 |
| 650 | 0 | |a Semantics -- Logic | |
| 650 | 0 | |a Type Theory | |
| 942 | |c BK |n 0 | ||
| 999 | |c 144467 |d 144467 | ||