Prova de Rodrigo Passos Severo da disciplina de Seminário de Filosofia das Ciências Formais [ministrada por Andrea Loparic no departamento de filosofia da Universidade Federal do Rio Grande do Sul] em 1994.
Prova de Alcione Alves da disciplina de Lógica I ministrada por Andrea Loparic no departamento de filosofia da Universidade Federal do Rio Grande do Sul em 1996.
Prova de Michele Bastiani da disciplina de Lógica I ministrada por Andrea Loparic no departamento de filosofia da Universidade Federal do Rio Grande do Sul em 1996.
Prova de Maria Lúcia da Luz da disciplina de Lógica I ministrada por Andrea Loparic no departamento de filosofia da Universidade Federal do Rio Grande do Sul em 1996.
Prova de Camila Moreno da disciplina de Lógica I ministrada por Andrea Loparic no departamento de filosofia da Universidade Federal do Rio Grande do Sul em 1996.
Prova de João Emilio Reichelt da disciplina de Lógica I ministrada por Andrea Loparic no departamento de filosofia da Universidade Federal do Rio Grande do Sul em 1996.
Prova de Flávia Fraga dos Santos da disciplina de Lógica I ministrada por Andrea Loparic no departamento de filosofia da Universidade Federal do Rio Grande do Sul em 1996.
Lista de exercícios de Alessandro Zir para a disciplina de Lógica II ministrada por Andrea Loparic na Universidade Federal do Rio Grande do Sul em 1997.
Trabalho de Jaques Guimarães Schaefer para a disciplina de Lógica II ministrada por Andrea Loparic na Universidade Federal do Rio Grande do Sul em 1997.