Categorical logic and type theory /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Amsterdam :
Elsevier Science,
c1999.
|
| Edición: | 1st ed. |
| Series: | Studies in logic and the foundations of mathematics ;
v. 141 |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00803cam a2200241 a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb003977 | ||
| 008 | 981027s1999####ne#a#####b####001#0#eng## | ||
| 005 | 20130405124233.0 | ||
| 245 | 1 | 0 | |a Categorical logic and type theory / |c Bart Jacobs. |
| 250 | |a 1st ed. | ||
| 260 | |a Amsterdam : |b Elsevier Science, |c c1999. | ||
| 300 | |a xviii, 760 p. : |b il. ; |c 23 cm. | ||
| 440 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 141 | |
| 504 | |a Incluye referencias bibliográficas (p. 717-733) e índices. | ||
| 510 | 4 | |a MR, |c 2001b:03077 | |
| 020 | |a 0444501703 | ||
| 100 | 1 | |a Jacobs, Bart. | |
| 650 | 0 | |a Type theory. | |
| 650 | 0 | |a Categories (Mathematics) | |
| 084 | |a 03G30 (03-02 03B15 03B40) |2 msc2000 | ||
| 010 | |a 98043478 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 859 | |h 03 |i J17 |p A-8324 |b BIB. MATEMATICA | ||