Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    03D35 - Undecidability and degrees of sets of sentences
Mostrando 1-9 de 9 resultados, ordenados por

Imagen de la tapa

Metamathematics of fuzzy logic

Petr Hájek.

Dordrecht : Kluwer, ©1998.

Ubicación:

  • 03
    H154

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)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

edited by Martin Davis.

Hewlett, N.Y. : Raven Press, ©1965.

Ubicación:

  • 03
    Un55

Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

von Wolfgang Stegmüller.

Wien : Springer-Verlag, 1959.

Ubicación:

  • 03
    St817

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe

von János Surányi.

Budapest : Verlag der Ungarischen Akademie der Wissenschaften, 1959.

Ubicación:

  • 03
    Su961

Undecidable theories

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

Amsterdam : North-Holland, 1953.

Ubicación:

  • 03
    T193u

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Andrzej Mostowski.

Amsterdam : North-Holland, 1952.

Ubicación:

  • 03
    M916

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