Detalles MARC
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
00868nam a2200241 a 4500 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
221201s2021^^^^sz^a^^^^^^^^^^000^0^eng^d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9783030571443 |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9783030571474 |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA |
|---|
| Número de control de sistema |
MX001002178683 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
UNAMX |
| Lengua de catalogación |
spa |
| Normas de descripción |
rda |
| Centro/agencia transcriptor |
UNAMX |
| 050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
QA9.54 |
| Número de documento/Ítem |
I53 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Indrzejczak, Andrzej, |
| Término indicativo de función/relación |
autor |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Sequents and trees : |
| Resto del título |
an introduction to the theory and applications of propositional sequent calculi / |
| Mención de responsabilidad, etc. |
Andrzej Indrzejczak |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
Cham, Switzerland : |
| Nombre del de productor, editor, distribuidor, fabricante |
Springer, |
| Fecha de producción, publicación, distribución, fabricación o copyright |
[2021] |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
xvi, 345 páginas : |
| Otras características físicas |
ilustraciones |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Término de tipo de contenido |
texto |
| Fuente |
rdacontent |
| 337 ## - TIPO DE MEDIO |
|---|
| Nombre/término del tipo de medio |
sin medio |
| Fuente |
rdamedia |
| 338 ## - TIPO DE SOPORTE |
|---|
| Nombre/término del tipo de soporte |
volumen |
| Fuente |
rdacarrier |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Studies in universal logic, |
| Número Internacional Normalizado para Publicaciones Seriadas |
2297-0282 |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Birkhäuser--Portada |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Teoría de la demostración |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Lógica simbólica y matemática |
