Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    03B15 - Higher-order logic and type theory
Mostrando 1-3 de 3 resultados, ordenados por

Imagen de la tapa

Categorical logic and type theory

Bart Jacobs.

1st ed.

Amsterdam : Elsevier Science, ©1999.

Ubicación:

  • 03
    J17

Type theory and functional programming

Simon Thompson.

Wokingham, England : Addison-Wesley, ©1991.

Ubicación:

  • 68
    T468

Principia mathematica

by Alfred North Whitehead and Bertrand Russell.

2nd ed.

Cambridge : University Press, 1925-1927.

Ubicación:

  • Vol. 1:
    03
    W592-2
    v.1
  • Vol. 2:
    03
    W592-2
    v.2
  • Vol. 3:
    03
    W592-2
    v.3

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