A Interpretação de Wittgenstein sobre o Teorema da Incompletude de Godel
Alguns sistemas formais da verdade aritmética baseados em definições parciais verdade
Sistemas formais e valorações: sobre um teorema geral de completude
Modelo de Godel teleparalela e cosmologia quântica com topologia não trivial