-
Introduction to higher order categorical logicLambek, J. ; Scott, P. J.Vrsta gradiva - knjigaIzdaja - 1st publ. 1986, reprinted with corr. 1994Založništvo in izdelava - Cambridge ; New York ; Melbourne : Cambridge University Press, cop. 1994Jezik - angleškiISBN - 0-521-35653-9COBISS.SI-ID - 7946073
Avtor
Lambek, J. |
Scott, P. J.
Teme
teorija kategorij |
kartezično zaprta kategorija |
▫$\lambda$▫ - račun |
funkcijska popolnost |
tipiziran ▫$\lambda$▫ - račun |
problem odločljivosti za enakost |
teorija tipov |
topos |
popolnost logike višjega reda |
naloge |
category theory |
cartesian closed category |
▫$\lambda$▫ - calculus |
functional completeness |
typed ▫$\lambda$▫ - calculus |
decision problem for equality |
type theory |
toposes |
completeness of higher order logic |
exercises
Rezervirajte gradivo na želenem mestu prevzema.
Mesto prevzema |
Status gradiva | Rezervacija |
---|---|---|
FMF in IMFM, Matematična knjižnica, Ljubljana |
prosto - na dom, čas izposoje: 1 mes.
|
Signatura – lokacija, inventarna št. ... |
Status izvoda |
---|---|
Skladišče-Jadranska 21 0000002665/0000000007 Skladišče-Jadranska 21 2665/7 |
prosto - na dom, čas izposoje: 1 mes.
|
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.