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

Some philosophical implications of Gödel's theorem

Agazzi, Evandro

In: Travaux de logique, 1992, vol. 7, p. 129-159

Université de Neuchâtel

Unprovability and undefinability

Corcoran, John

In: Travaux de logique, 1992, vol. 7, p. 37-65

Université de Neuchâtel

Gödel : un passé, un présent, un avenir !

Miéville, Denis

In: Travaux de logique, 1992, vol. 7, p. 1-9

Université de Neuchâtel

George Boole et l'algèbre de la logique

Gessler, Nadine

In: Travaux de logique, 1994, vol. 9, p. 123-169