Lógica de segundo Orden: Problemas Metateoréticos.

Aquesta tesi apareix a les col·leccions següents