Travaux de logique

Travaux de logique
Les travaux de logique sont une publication périodique éditée par le Centre de Recherches Sémiologiques (CdRS) de la Chaire de logique, rattachée à l'Institut de philosophie de la Faculté des lettres et sciences humaines de l'Université de Neuchâtel.
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