Université de Neuchâtel

Expansion catégorielle et logique

Miéville, Denis

In: Travaux de logique, 1999, vol. 13, p. 1-41

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