La logique combinatoire, types, preuves et lanage naturel

Auteur(s)

Desclés, Jean-Pierre

Date de parution

1997

In

Travaux de logique, Universités de Neuchâtel et Lausanne, 1997/11//91-160

Identifiants

Type de publication

journal article

Dossier(s) à télécharger