Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por número de registro: 003013
 
 
Libro

Symbolic logic and mechanical theorem proving

Chin-liang Chang, Richard Char-Tung Lee.

New York : Academic Press, ©1973.

xiii, 331 págs. : ilustraciones ; 24 cm.

Serie: Computer science and applied mathematics

ISBN: 0121703509

Bibliografía: p. 309-324.

Reseña: MathSciNet, 55 #13894

 
Registro 003013 · Modificado: 17/11/2015

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos