Nº 4: abril de 1991

Publicado: 1991-04-01

Artigos

Wittgenstein e os números

Wilson Mendonça

5-36

OQNFP_04_01_01 ()

Semântica transcendental, modalidade e demonstrabilidade

José Alexandre Durry Guerzoni

37-55

OQNFP_04_01_02 ()

Kant on indirect proofs

Zeljko Loparic

56-60

OQNFP_04_01_03 ()

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

Edward Hermann Haeusler, Oliver Bittel

61-79

OQNFP_04_01_04 ()

Nomes para ordinais: além da hierarquia de Veblen

Nicolau C. Saldanha

80-86

OQNFP_04_01_05 ()

On conservative and expansive extensions

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

87-106

OQNFP_04_01_06 ()

Lineales

Martin Hyland, Valeria Paiva

107-123

OQNFP_04_01_07 ()

Resumo de tese: Esclarecimento e consciência dos limites

Gilson Gil

124-125

OQNFP_04_01_08 ()

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

Ronaldo Souza Dias

126-129

OQNFP_04_01_09 ()