Equipo de Lógica

Institution: Universidad de la República
Type: Educación Superior
Institution level 2: Facultad de Ingeniería
Institution level 3: Instituto de Matemática y Estadística Rafael Laguardia (IMERL)

e-mail: secretaria_imerl@fing.edu.uy
Phone: 2711 0621 – 2711 4462
Address: Julio Herrera y Reissig 565
CP: 11300
City: Montevideo
Department: Montevideo
Website: https://www.fing.edu.uy/imerl/investigaci%C3%B3n/grupos/equipo_de_logica

Areas: Natural Sciences
Subareas: Mathematics Computer and Information Science
Disciplines: Pure Mathematics Computer Science

Tags: Classical realizability Games theory Category theory Model theory Forcing Quantum computation