Théorie des Constructions / (Registro nro. 26619)
[ vista simple ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01704nam a22003137a 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250213091837.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 180914b fr a|||| |||| 00| 0 spa d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | UNAMBA |
| Language of cataloging | spa |
| Transcribing agency | Biblioteca Central |
| Description conventions | rda |
| 041 ## - LANGUAGE CODE | |
| Language code of original | eng |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 624.176 |
| Item number | T56 |
| -- | 1 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Timoshenko, S. |
| Relator term | Autor |
| 245 ## - TITLE STATEMENT | |
| Title | Théorie des Constructions / |
| Statement of responsibility, etc. | S. Timoshenko, D.H. Young |
| Medium | [Impreso] |
| 250 ## - EDITION STATEMENT | |
| Edition statement | [Primera edición] |
| 264 ## - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | París - Francia: |
| Name of producer, publisher, distributor, manufacturer | Librairie Polytechnique Charles Béranger, |
| Date of production, publication, distribution, manufacture, or copyright notice | 1945 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 552 páginas |
| Other physical details | : Ilustraciones a blanco y negro, figuras, gráficos |
| Dimensions | ;16 x 24 centímetros. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE | |
| Terms governing access | Sala general / a domicilio |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 526 ## - STUDY PROGRAM INFORMATION NOTE | |
| Program name | E.A.P. Ingeniería Civil |
| 546 ## - LANGUAGE NOTE | |
| Language note | Texto en ingles |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | Corregir numeración de clasificación |
| 651 ## - SUBJECT ADDED ENTRY--GEOGRAPHIC NAME | |
| Geographic name | FRANCIA |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| 9 (RLIN) | 6581 |
| Personal name | Young, D.H. |
| Relator term | Autor |
| 900 ## - EQUIVALENCE OR CROSS-REFERENCE-PERSONAL NAME [LOCAL, CANADA] | |
| Numeration | LIB |
| 910 ## - USER-OPTION DATA (OCLC) | |
| User-option data | Petherson Brayan Carrasco Sierra |
| -- | 24/09/2018 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Institution code [OBSOLETE] | 109201BCSGSC |
| Koha item type | |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Biblioteca Central - Sala General | Biblioteca Central - Sala General | 01/25/2007 | 624.176 / T56 | SK01SGL04278 | 09/24/2018 | 1 | 09/24/2018 | Libros |
Av. Garcilazo S/N. Tamburco-Abancay-Apurímac-Perú
(51) 083-321945
bibliotecacentral@unamba.edu.pe