La logique combinatoire, types, preuves et lanage naturel
Author(s)
Desclés, Jean-Pierre
Date issued
1997
In
Travaux de logique, Universités de Neuchâtel et Lausanne, 1997/11//91-160
Publication type
journal article
File(s)![Thumbnail Image]()
Loading...
Name
Descl_s_Jean-Pierre_-_La_logique_combinatoire_types_preuves_et_lanage_naturel_20131105.pdf
Type
Main Article
Size
3.65 MB
Format
Adobe PDF
