Repositorios 1

Second-order logic 5 Expressive power 4 Lógica de segundo orden 3 Computation theory 2 Computer circuits 2 Computer networks 2 Existential second-order logic 2 Flattening operator 2 Formal logic 2 Imperfect information 2 Imperfect information logic 2 Independence friendly logic 2 Non-trivial 2 Prenex normal forms 2 Second order logic 2 Systems science 2 consecuencia lógica 2 infinitary logic 2 logical consequence 2 lógicas infinitarias 2 second-order logic 2 set theory 2 teoría de conjuntos 2 Filosofia da matemática 1 Filosofía de las matemáticas 1 Historia de la matemática 1 History of mathematics 1 História da matemática 1 Logic 1 Logicism 1