Nº 4: abril de 1991

Publicado: 01-04-1991

Artigos

Wittgenstein e os números

Wilson Mendonça

5-36

PDF

Semântica transcendental, modalidade e demonstrabilidade

José Alexandre Durry Guerzoni

37-55

PDF

Kant on indirect proofs

Zeljko Loparic

56-60

PDF (English)

On the relationship between well-orderings in intuitionistic type theory and data types inductively defined

Edward Hermann Haeusler, Oliver Bittel

61-79

PDF (English)

Nomes para ordinais: além da hierarquia de Veblen

Nicolau C. Saldanha

80-86

PDF

On conservative and expansive extensions

Paulo A. S. Veloso, Sheila R. M. Veloso

87-106

PDF (English)

Lineales

Martin Hyland, Valeria Paiva

107-123

PDF (English)

Resumo de tese: Esclarecimento e consciência dos limites

Gilson Gil

124-125

PDF

Resumo de tese: A fuga do real: uma introdução ao mundo quântico

Ronaldo Souza Dias

126-129

PDF