-
Primerjava teorije množic in teorije tipov kot temeljev matematike : delo diplomskega seminarjaJazbec, Matej, matematikVrsta gradiva - diplomsko delo ; neleposlovje za odrasleZaložništvo in izdelava - Ljubljana : [M. Jazbec], 2022Jezik - slovenskiCOBISS.SI-ID - 118531843
Avtor
Jazbec, Matej, matematik
Drugi avtorji
Simpson, Alex
Teme
matematika |
teorija množic |
teorija tipov |
tipi |
izomorfizmi |
identični tipi |
izjave |
aksiom univalentnosti |
grupe |
množice |
konstruktivna logika |
relevantnost dokazov |
princip strukturne identitete |
mathematics |
set theory |
type theory |
types |
isomorphisms |
identity type |
propositions |
univalence axiom |
groups |
sets |
constructive logic |
proof relevance |
structure identity principle
Signatura – lokacija, inventarna št. ... |
Status izvoda | Rezervacija |
---|---|---|
Skladišče-Jadranska 21 0000013000/0000000284 Skladišče-Jadranska 21 13000/284 |
prosto - za čitalnico
|
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 |
---|---|
Jazbec, Matej, matematik | |
Simpson, Alex | 37834 |
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.