Introduction to higher order categorical logic
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Vydáno: |
Cambridge
Univ. Pr.
1994
|
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
MARC
| LEADER | 00000nam a2200000 4500 | ||
|---|---|---|---|
| 001 | 73475 | ||
| 003 | BD-SaJUCL | ||
| 040 | |a BD-SaJUCL |c BD-SaJUCL |d BD-SaJUCL | ||
| 942 | |2 ddc |c BK |n 1 | ||
| 100 | 1 | |a Lambek, J. |9 29711 | |
| 245 | 1 | 0 | |a Introduction to higher order categorical logic |c J. Lambek, P.J. Scott. |
| 260 | |a Cambridge |b Univ. Pr. |c 1994 | ||
| 300 | |a x, 293p. |c 23cm | ||
| 082 | 0 | 4 | |a 512.55 |
| 650 | 0 | |a Categories (Mathematics) |9 29712 | |
| 509 | |a Mehedi_Hasan_68_4_Document_6_734.jpg_processed | ||
| 999 | |c 73475 |d 73469 | ||