Université de Neuchâtel

Avant-propos [de : Le logicisme catégoriel]

Miéville Denis

In: Travaux de logique, 2005, vol. 16, p. v-vii

Université de Neuchâtel

Avant-propos [de : Aspects of Universal Logic]

Miéville Denis

In: Travaux de logique, 2004, vol. 17, p. ii-iii

Université de Neuchâtel

D'une définition à l'autre

Miéville Denis

In: Travaux de logique, 2008, vol. 19, p. 159-175

Université de Neuchâtel

L'axiomatisation a-t-elle des limites formelles ?

Miéville Denis

In: Travaux de logique, 2011, vol. 20, p. 29-55