Ładuje się......
Introduction to higher order categorical logic
| 1. autor: | |
|---|---|
| Kolejni autorzy: | |
| Format: | Printed Book |
| Wydane: |
Cambridge University Press, Cambridge
1986
|
| Hasła przedmiotowe: |
| LEADER | 00543nam a2200169 4500 | ||
|---|---|---|---|
| 082 | |a 512.55 LAM-I | ||
| 100 | |a Lambek, J | ||
| 245 | |a Introduction to higher order categorical logic |c J Lambek and P J Scott | ||
| 250 | |||
| 260 | |a Cambridge University Press, Cambridge |c 1986 | ||
| 300 | |a 293 p | ||
| 490 | |||
| 650 | |a Topological and related algebra and groups | ||
| 700 | |a Scott, P J | ||
| 942 | |c BK | ||
| 999 | |c 204252 |d 204252 | ||
| 952 | |0 0 |1 0 |4 0 |6 512_550000000000000_LAMI |7 0 |9 217601 |a MAT |b MAT |l 0 |o 512.55 LAM-I |p MAT5614 |r 2019-11-01 |w 2019-11-01 |y BK | ||