Tesis de Grado -

Navegar

Últimos publicados Autor Año Título Obtenido - Año Departamento - Año Director y Director Asistente Jurado Consejero de Estudios Palabras Clave

Colección

Datos Estadísticas

Lista de

LOGICA CLASICA

Panichelli, Manuel. (2024). "PPA - Un asistente de demostración para lógica de primer orden con extracción de testigos usando la traducción de Friedman". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Freund, Teodoro. (2021). "PRK, una lógica constructiva clásica". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (54 11) 5285-8274

Biblioteca Campus Virtual Trámites Intranet Webmail Contacto UBA