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

Categorical logic and type theory

Bart Jacobs.

1st ed.

Amsterdam : Elsevier Science, ©1999.

xviii, 760 págs. : ilustraciones ; 23 cm.

Serie: Studies in logic and the foundations of mathematics ; v. 141

ISBN: 0444501703

Incluye referencias bibliográficas (p. 717-733) e índices.

Reseña: MathSciNet, 2001b:03077

 
Registro 003977 · Modificado: 05/04/2013

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