1 - 1 / 1 1 |
1. Primerjava teorije množic in teorije tipov kot temeljev matematike Matej Jazbec, 2022, undergraduate thesis Keywords: teorija množic, teorija tipov, tip, izomorfizem, identični tip, izjave, aksiom univalentnosti, grupe, množice, konstruktivna logika, relevantnost dokazov, princip strukturne identitete |