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

Unprovability and undefinability

Corcoran, John

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