Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    03-02 - Research exposition (monographs, survey articles)
Mostrando 1-20 de 27 resultados, ordenados por

Imagen de la tapa

Handbook of mathematical fuzzy logic

edited by Petr Cintula, Petr Hájek and Carles Noguera.

London : College Publications, ©2011-©2015.

Ubicación:

  • Vol. 1:
    03
    H236f
    v.1
  • Vol. 2:
    03
    H236f
    v.2
  • Vol. 3:
    03
    H236f
    v.3

Imagen de la tapa

Unification types in logic

Wojciech Dzik.

Katowice : Wydawnictwo Uniwersytetu Slaskiego, 2007.

Ubicación:

  • 03
    D999

Imagen de la tapa

Hilbert's tenth problem : diophantine classes and extensions to global fields

Alexandra Shlapentokh.

Cambridge : Cambridge University Press, 2007.

Ubicación:

  • 11
    Sh558

Imagen de la tapa

Nonstandard analysis, axiomatically

Vladimir Kanovei, Michael Reeken.

Berlin : Springer, ©2004.

Ubicación:

  • 03
    K165

Imagen de la tapa

Set theory

Thomas Jech.

The 3rd millennium ed., rev. and expanded.

Berlin : Springer, ©2003.

Ubicación:

  • 03
    J44-3

Imagen de la tapa

Substructural logics : a primer

Francesco Paoli.

Dordrecht : Kluwer Academic, ©2002.

Ubicación:

  • 03
    P211

Imagen de la tapa

Modal logic

Patrick Blackburn, Maarten de Rijke, Yde Venema.

Cambridge [England] ; New York : Cambridge University Press, 2001.

Ubicación:

  • 03
    B628

Imagen de la tapa

A treatise on many-valued logics

Siegfried Gottwald.

Baldock, Hertfordshire, England : Research Studies Press, ©2001.

Ubicación:

  • 03
    G687

Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories

Andrzej Biela.

Katowice : Wydawn. Uniwersytetu Slaskiego, 2000.

Ubicación:

  • 03
    B587

Imagen de la tapa

Algebraic foundations of many-valued reasoning

Roberto L.O. Cignoli, Itala M.L. D'Ottaviano, and Daniele Mundici.

Dordrecht : Kluwer Academic Publishers, ©2000.

Ubicación:

  • 03
    C571

Imagen de la tapa

Categorical logic and type theory

Bart Jacobs.

1st ed.

Amsterdam : Elsevier Science, ©1999.

Ubicación:

  • 03
    J17

Imagen de la tapa

Metamathematics of fuzzy logic

Petr Hájek.

Dordrecht : Kluwer, ©1998.

Ubicación:

  • 03
    H154

Imagen de la tapa

Set theory for the working mathematician

Krzysztof Ciesielski.

Cambridge, U.K. : Cambridge University Press, 1997.

Ubicación:

  • 03
    C569
  • Ej. 2:
    03
    C569

Imagen de la tapa

Finitely axiomatizable theories

Mikhail G. Peretyat'kin.

New York : Consultants Bureau, ©1997.

Ubicación:

  • 03
    P437

Imagen de la tapa

Nonstandard analysis in practice

Francine Diener, Marc Diener, editors.

Berlin : Springer, ©1995.

Ubicación:

  • 03
    N814

Lukasiewicz-Moisil algebras

V. Boicescu ... [et al.].

Amsterdam : North-Holland, 1991.

Ubicación:

  • 03
    L954m

Theory of logical calculi : basic theory of consequence operations

Ryszard Wójcicki.

Dordrecht ; Boston : Kluwer Academic Publishers, ©1988.

Ubicación:

  • 03
    W847

Estructuras cíclica y monádica de un álgebra de Lukasiewicz n-valente

Manuel Abad.

1986.

Ubicación:



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

Foundations of logic programming

J. W. Lloyd.

Berlin : Springer-Verlag, ©1984.

Ubicación:

  • 68
    L793

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