Usted se encuentra revisando un registro bibliográfico de la BDU Para conocer mas sobre la Base de Datos Unificada haga click en el ícono del home

Titulos:
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas.
Idiomas:
eng
ISBN:
0387942580 (New York : acid-free paper); 3540942580 (Berlin : acid-free paper)
Lugar de Edición:
New York :
Editor:
Springer-Verlag,
Fecha de Edición:
c1994.
Edición #:
2nd ed.
Palabras clave:
Logic, Symbolic and mathematical.; LOGICA; LOGICA DE PRIMER ORDEN Y GENERALIZACIONES; LOGICA MATEMATICA; PRUEBA AUTOMATICA DE TEOREMAS; TEORIAS DECIBLES E INDECIBLES

Leader:
pam
Campo 003:
OCoLC
Campo 008:
931227s1994 nyua b 001 0 eng
Campo 020:
^a0387942580 (New York : acid-free paper)
Campo 020:
^a3540942580 (Berlin : acid-free paper)
Campo 041:
1 ^aeng^hger
Campo 100:
1 ^aEbbinghaus, Heinz-Dieter,^d1939-
Campo 245:
10^aMathematical logic /^cH.-D. Ebbinghaus, J. Flum, W. Thomas.
Campo 246:
Campo 250:
^a2nd ed.
Campo 260:
^aNew York :^bSpringer-Verlag,^cc1994.
Campo 300:
^ax, 289 p. :^bill. ;^c25 cm.
Campo 440:
0^aUndergraduate texts in mathematics
Campo 650:
0^aLogic, Symbolic and mathematical.
Campo 650:
4^aLOGICA
Campo 650:
4^aLOGICA DE PRIMER ORDEN Y GENERALIZACIONES
Campo 650:
4^aLOGICA MATEMATICA
Campo 650:
4^aPRUEBA AUTOMATICA DE TEOREMAS
Campo 650:
4^aTEORIAS DECIBLES E INDECIBLES
Campo 700:
1 ^aFlum, Jörg.
Campo 700:
1 ^aThomas, Wolfgang,^d1947-
Proveniencia:
^aUnRioCuarto
Proveniencia:
^aUnSanLuis
Seleccionar y guardar el registro Haga click en el botón del carrito
Institucion:
Base de Datos MARC21 - OCLC
Dependencia:
BDUMARC21

Compartir este registro en Redes Sociales

Seleccionar y guardar el registro Haga click en el botón del carrito