Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    03G30 - Categorical logic, topoi
Mostrando 1-5 de 5 resultados, ordenados por

Imagen de la tapa

Categorical logic and type theory

Bart Jacobs.

1st ed.

Amsterdam : Elsevier Science, ©1999.

Ubicación:

  • 03
    J17

Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory

edited by Ulrich Höhle and Erich Peter Klement.

Dordrecht : Kluwer Academic Publishers, ©1995.

Ubicación:

  • 03
    N812

Über Dialoge, protologische Kategorien und andere Seltenheiten

Shahid Rahman.

Frankfurt am Main : Peter Lang, ©1993.

Ubicación:

  • 03
    R147

Imagen de la tapa

Sheaves in geometry and logic : a first introduction to topos theory

Saunders Mac Lane, Ieke Moerdijk.

New York : Springer-Verlag, ©1992.

Ubicación:

  • 03
    M161

Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry

Ionel Bucur ; translated from the Romanian by Mihnea Moroianu.

Bucuresti, Romania : Editura Academiei ; Dordrecht : D. Reidel, 1984.

Ubicación:

  • 14
    B926

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