Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por número de registro: 003977
 
LDR ·····cam##22·····#a#4500
001 003977
005 20130405124233.0
008 981027s1999####ne#a#####b####001#0#eng##
245 10 $a Categorical logic and type theory / $c Bart Jacobs.
250 ## $a 1st ed.
260 ## $a Amsterdam : $b Elsevier Science, $c c1999.
300 ## $a xviii, 760 p. : $b il. ; $c 23 cm.
440 #0 $a Studies in logic and the foundations of mathematics ; $v v. 141
504 ## $a Incluye referencias bibliográficas (p. 717-733) e índices.
510 4# $a MR, $c 2001b:03077
020 ## $a 0444501703
100 1# $a Jacobs, Bart.
650 #0 $a Type theory.
650 #0 $a Categories (Mathematics)
084 ## $a 03G30 (03-02 03B15 03B40) $2 msc2000
010 ## $a ###98043478#
040 ## $a DLC $c DLC $d DLC

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