| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01702nam a22003137a 4500 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20190218083644.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
180914b fr a|||| |||| 00| 0 spa d |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
UNAMBA |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor de catalogación |
Biblioteca Central |
| Normas de descripción |
rda |
| 041 ## - CÓDIGO DE LENGUA |
|---|
| Código de lengua texto original |
eng |
| 082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
624.176 |
| Notación Interna |
T56 |
| N° de Ejemplares |
1 |
| 100 ## - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Timoshenko, S. |
| Rol |
Autor |
| 245 ## - TITULO PRINCIPAL |
|---|
| Título |
Théorie des Constructions / |
| Mención de responsabilidad |
S. Timoshenko, D.H. Young |
| Medio físico |
[Impreso] |
| 250 ## - MENCIÓN DE EDICIÓN |
|---|
| Mención de edición |
[Primera edición] |
| 264 ## - MENCIÓN DE PUBLICACIÓN |
|---|
| Lugar de Publicación |
París - Francia: |
| EDitorial |
Librairie Polytechnique Charles Béranger, |
| Fecha de Publicación |
1945 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
552 páginas |
| Otras características físicas |
: Ilustraciones a blanco y negro, figuras, gráficos |
| Dimensiones |
;16 x 24 centímetros. |
| 506 ## - NOTA DE CONDICIONES DE CONSULTA / PRÉSTAMO |
|---|
| Alcance de acceso |
Sala general / a domicilio |
| 520 ## - NOTA DE RESUMEN, SUMARIO |
|---|
| Resumen, sumario del texto |
L'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. |
| 546 ## - NOTA DE LENGUA/LENGUAJE |
|---|
| Nota de lengua/lenguaje |
Texto en ingles |
| 651 ## - MENCIÓN ADICIONAL GEOGRÁFICO / PAÍS |
|---|
| Nombre geográfico / País |
FRANCIA |
| 700 ## - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| 9 (RLIN) |
6581 |
| Nombre de persona |
Young, D.H. |
| Rol de la persona |
Autor |
| 841 ## - VALORES CODIFICADOS DE LOS FONDOS-CODIGO DE BARRAS |
|---|
| Código del libro en el SIGB KOHA |
SK01SGL04278 |
| 850 ## - BIBLIOTECA PROPIETARIA |
|---|
| Biblioteca Propietaria |
Biblioteca Central |
| Área o unidad subordinada |
Sala General |
| 910 ## - RESPONSABILIDAD SOBRE EL REGISTRO CATALOGADOR |
|---|
| Catalogador / procesado |
<a href="Petherson Brayan Carrasco Sierra">Petherson Brayan Carrasco Sierra</a> |
| Fecha de catalogación |
24/09/2018 |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
|
Av. Garcilazo S/N. Tamburco-Abancay-Apurímac-Perú
(51) 083-321945