000			01702nam a22003137a 4500
999			_c2090 _d2090
005			20190218083644.0
008			180914b fr a|||| |||| 00| 0 spa d
040			_aUNAMBA _bspa _cBiblioteca Central _erda
041			_heng
082			_a624.176 _bT56 _d1
100			_aTimoshenko, S. _eAutor
245			_aThéorie des Constructions / _cS. Timoshenko, D.H. Young _h[Impreso]
250			_a[Primera edición]
264			_aParís - Francia: _bLibrairie Polytechnique Charles Béranger, _c1945
300			_a552 páginas _b: Ilustraciones a blanco y negro, figuras, gráficos _c;16 x 24 centímetros.
506			_aSala general / a domicilio
520			_aL'objet de cette thèse est la méta-théorie du Calcul des Constructions Inductives (CCI), c'est à dire les Calcul des Constructions étendu par des types et des prédicats inductifs. Le Calcul des Constructions a été présenté en 1985 par Thierry Coquand. Il s'agit d'un lambda-calcul typé qui, à travers l'isomorphisme dit de Curry-Howard, peut-être vu comme un formalisme logique. Ce système qui étend à la fois la logique d'ordre superieur de Church et les systèmes de Martin-Löf est particulièrement expressif du point de vue algorithmique et peut facilement être mis en oeuvre sur ordinateur.
526			_aE.A.P. Ingeniería Civil
546			_aTexto en ingles
590			_aCorregir numeración de clasificación
651			_aFRANCIA
700			_96581 _aYoung, D.H. _eAutor
900			_bLIB
910			_aPetherson Brayan Carrasco Sierra _b24/09/2018
942			_2ddc _a109201BCSGSC _cLIB