Formal methods (Registro nro. 2169)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 00493nam a2200145Ia 4500 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | 2631 |
| 003 - NÚMERO DE CONTROL | |
| campo de control | BIBL |
| 005 - FECHA Y HORA DE ACTUALIZACIÓN | |
| 005 | 20160527192850.0 |
| 008 - LONGITUD FIJA | |
| campo de control de longitud fija | 911101|1962||||ne |||||||||||00010|eng|d |
| 100 10 - AUTOR PERSONAL | |
| nombre | Beth, Evert Willem |
| 9 (RLIN) | 201818 |
| 245 10 - TÍTULO PROPIAMENTE DICHO | |
| título | Formal methods |
| subtítulo | an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. |
| 260 0# - PIE DE IMPRENTA | |
| Ciudad de publicación | Dordrecht |
| Editor, distribuidor | D. Reidel Publishing |
| Fecha de publicación | 1962. |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 170 p. |
| 100 10 - AUTOR PERSONAL | |
| -- | Local |
| 650 #0 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Logic, Symbolic and mathematical |
| 9 (RLIN) | 127231 |
| Fuente del encabezamiento o término | 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 | 164_000000000000000_B563 | 189554 | Biblioteca Encarnación Valdés | Biblioteca Encarnación Valdés | Colección General bev | 27/05/2016 | 3300 | 164 B563 | 80000001071201 | 18/05/2017 | r:2631 | z:NCC:D | Libro |