Repositorios 7 Revistas 1

Teoría de conjuntos 7 Filosofía 4 teoría de conjuntos 3 Compilers 2 Diseño de compiladores 2 Forcing 2 Formalización de matemática 2 Logic and verification 2 Lógica de segundo orden 2 Matemáticas 2 Programación con tipos dependientes 2 Software and its engineering 2 Software verification 2 Theory of computation 2 Type Theory 2 consecuencia lógica 2 infinitary logic 2 logical consequence 2 lógicas infinitarias 2 second-order logic 2 set theory 2 Bisimilitud probabilista 1 Descriptive set theory 1 Ecuaciones algebraicas 1 Ecuaciones diferenciales 1 Educación a distancia 1 Enseñanza de la matemática 1 Epistemología 1 Estadística 1 Filosofía de la lógica 1