Computability and logic (Registro nro. 150045)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 00854nam a2200265Ia 4500 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | 198509 |
| 003 - NÚMERO DE CONTROL | |
| campo de control | BIBL |
| 005 - FECHA Y HORA DE ACTUALIZACIÓN | |
| 005 | 20160527192949.0 |
| 008 - LONGITUD FIJA | |
| campo de control de longitud fija | 890328s1994 enka b 00110 eng |
| 010 ## - NÚMERO DE CONTROL DE LA BIBLIOTECA DEL CONGRESO | |
| Número de control de LC | 89032584 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 052138026X |
| ISBN | 0521389232 (pbk.) |
| 049 ## - FONDOS LOCALES (OCLC) | |
| Fondos de biblioteca | EVLG |
| 100 10 - AUTOR PERSONAL | |
| nombre | Boolos, George. |
| 9 (RLIN) | 63979 |
| 245 10 - TÍTULO PROPIAMENTE DICHO | |
| título | Computability and logic |
| Mención de responsabilidad, etc. | George S. Boolos, Richard C. Jeffrey. |
| 260 0# - PIE DE IMPRENTA | |
| Ciudad de publicación | Cambridge |
| -- | New York |
| Editor, distribuidor | Cambridge University Press |
| Fecha de publicación | 1989. |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | x, 304 p. |
| Ilustraciones | ill. |
| 504 ## - NOTA DE BIBLIOGRAFÍA | |
| Bibliografía, etc. | Includes bibliographical references and index. |
| 700 10 - COAUTOR PERSONAL | |
| Nombre de persona | Jeffrey, Richard C. |
| 9 (RLIN) | 117109 |
| 050 00 - CLASIFICACIÓN LIBRARY OF CONGRESS | |
| clasificación | QA9.59 |
| Clave de autor | .B66 1989 |
| 082 00 - CLASIFICACIÓN DECIMAL DEWEY | |
| Clasificación | 511.3 |
| edición | 20 |
| 100 10 - AUTOR PERSONAL | |
| -- | Local |
| 650 #0 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Computable functions. |
| Fuente del encabezamiento o término | Local |
| 9 (RLIN) | 79046 |
| Término de materia o nombre geográfico como elemento inicial | Logic, Symbolic and mathematical |
| Fuente del encabezamiento o término | Local |
| 9 (RLIN) | 127231 |
| Término de materia o nombre geográfico como elemento inicial | Recursive functions. |
| Fuente del encabezamiento o término | Local |
| 9 (RLIN) | 157571 |
| 700 10 - COAUTOR PERSONAL | |
| -- | Local |
| Withdrawn status | Lost status | Damaged status | Koha normalized classification for sorting | Not for loan | Collection code | Koha itemnumber | Home library | Current library | Shelving location | Date acquired | Inventory number | Total Checkouts | Full call number | Barcode | Date last seen | Non-public note | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| No | 511_300000000000000_B724C | 192818 | Biblioteca Encarnación Valdés | Biblioteca Encarnación Valdés | Colección General bev | 27/05/2016 | 290084 | 511.3 B724c | 80000001868200 | 27/05/2016 | r:198509 | z:NCC:D | Libro |