Atención: recuerde que este es un catálogo parcial de nuestra colección.

Búsqueda por código de MSC 2000:
    03B25 - Decidability of theories and sets of sentences
Mostrando 1-9 de 9 resultados, ordenados por

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

Countable Boolean algebras and decidability

Sergei S. Goncharov.

New York : Consultants Bureau, ©1997.

Ubicación:

  • 03
    G635

Boolean constructions in universal algebras

by A. G. Pinus.

Dordrecht : Kluwer Academic, ©1993.

Ubicación:

  • 08
    P659

Logically motivated varieties with decidable finite algebras

Pawel Idziak.

Kraków : Nakl. Uniwersytetu Jagiellonskiego, 1989.

Ubicación:

  • 03
    Id21

Handbook of Boolean algebras

edited by J. Donald Monk, with the cooperation of Robert Bonnet.

Amsterdam : North-Holland, 1989.

Ubicación:

  • Vol. 1:
    06
    H236
    v.1
  • Vol. 2:
    06
    H236
    v.2
  • Vol. 3:
    06
    H236
    v.3

Sobre proposiciones formalmente indecidibles de los Principia mathematica y sistemas afines

Kurt Gödel ; con una introducción de R. B. Braithwaite.

Valencia : Revista Teorema [Departamento de Lógica, Universidad de Valencia], 1980.

Ubicación:

  • A-5537
    (Vieja ubicación)

Solvable cases of the decision problem

by W. Ackermann.

Amsterdam : North-Holland, 1954.

Ubicación:

  • 03
    Ac182
  • Ej. 2:
    03
    Ac182
  • Ej. 3:
    03
    Ac182

Undecidable theories

by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson.

Amsterdam : North-Holland, 1953.

Ubicación:

  • 03
    T193u

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