Detalles MARC
| 000 -Líder |
|---|
| campo de control de longitud fija |
01159 a2200385 4500 |
| 005 - Fecha y Hora de Actualización |
|---|
| campo de control |
20240809125350.0 |
| 008 - Longitud Fija |
|---|
| campo de control de longitud fija |
150529s mx r 000 spa d |
| 020 ## - International Standard Book Number |
|---|
| ISBN |
968-24-6100-6 |
| 035 ## - Número de Control del Sistema |
|---|
| Número de control de sistema |
7301 |
| 040 ## - Fuente de Catalogación |
|---|
| Centro catalogador/agencia de origen |
Uniagraria |
| Lengua de catalogación |
Español |
| Normas de descripción |
rda |
| 100 1# - Entrada Principal -- Nombre de Persona |
|---|
| Nombre de persona |
Frausto Solís, Juan |
| 245 10 - Título Propiamente Dicho |
|---|
| Título |
Fundamentos de lógica computacional |
| 264 ## - Producción, Publicación, Distribución, Fabricación y Copyright |
|---|
| Producción, publicación, distribución, fabricación y copyright |
México |
| Nombre del de productor, editor, distribuidor, fabricante |
Trillas |
| Fecha de producción, publicación, distribución, fabricación o copyright |
2000 |
| 300 ## - Descripción Física |
|---|
| Extensión |
212 páginas |
| 336 ## - Tipo de Contenido |
|---|
| Término de tipo de contenido |
texto |
| Código de tipo de contenido |
texto |
| Fuente |
rdacontent |
| 337 ## - Tipo de Medio |
|---|
| Nombre/término del tipo de medio |
no mediado |
| Código del tipo de medio |
no mediado |
| Fuente |
rdamedia |
| 338 ## - Tipo de Portador |
|---|
| Nombre/término del tipo de soporte |
volumen |
| Código del tipo de soporte |
volumen |
| Fuente |
rdacarrier |
| 340 ## - Medio físico |
|---|
| Base y configuración del material |
Papel |
| 505 0# - Nota de Contenido |
|---|
| Nota de contenido con formato |
Complejidad computacional, cap.4 |
| 505 0# - Nota de Contenido |
|---|
| Nota de contenido con formato |
Fundamentos de la lógica de hoare, cap.10 |
| 505 0# - Nota de Contenido |
|---|
| Nota de contenido con formato |
Introducción a los métodos formales, cap.9 |
| 505 0# - Nota de Contenido |
|---|
| Nota de contenido con formato |
Introducción, cap.1 |
| 505 0# - Nota de Contenido |
|---|
| Nota de contenido con formato |
Lógica de predicados, cap.3 |
| 505 0# - Nota de Contenido |
|---|
| Nota de contenido con formato |
Lógica modal, cap.8 |
| 505 0# - Nota de Contenido |
|---|
| Nota de contenido con formato |
Lógica proposicional, cap.2 |
| 505 0# - Nota de Contenido |
|---|
| Nota de contenido con formato |
Lógica temporal, cap.7 |
| 505 0# - Nota de Contenido |
|---|
| Nota de contenido con formato |
Regla de una literal, cap.6 |
| 505 0# - Nota de Contenido |
|---|
| Nota de contenido con formato |
Resolución, cap.5 |
| 598 ## - Programas Académicos |
|---|
| Programas Académicos |
|
| 700 1# - Entrada secundaria -- Nombre personal |
|---|
| Nombre de persona |
Sánchez Ante, Gildardo |
| 082 04 - Número de Clasificación Decimal Dewey |
|---|
| Número de clasificación |
004 / F659f |
| 650 #4 - Punto de Acceso Adicional -- Materia general |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Computadores |
| 650 #4 - Punto de Acceso Adicional -- Materia general |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Logica-computadores |